Added  to analysis arun() methods.
Added + to CPS small-step interpreter.