v8.4: Fixing #3088 (return clause in patterns was wrongly built).
v8.4: Fixing bug #2810 (autounfold on local variable declared as hint
but cleared).