Perform let reduction in instantiate
Show original expression
Expressions have to be instantiated to be reduced
Better reduction, better performance
Fix a deadlock