fix bug in inference of pure functions - limit generalization restriction to mutable variables