CPS should execute before mutable-var analysis