Fixing scope issue in SSA, freshening class meths
Careful! Trivial methods will be K-vared!