nitj: implements AReturnExprs