adding methodcalls-counting normalization to hadle the way that method calls generate fresh variables to represent their return values.