Bugfix in HighLevelRewrite for expressions with just one userfunction
Bugfix in HighLevelRewrite for expressions with just one userfunction

lift-project/lift,lift-project/lift,lift-project/lift,lift-project/lift,lift-project/lift