Don't switch back to m-CFA if already in PS-k-CFA

This will be taken care of by the stack nature of the environment.
More debug information, Pos.string_of_pos -> Pos.to_string