Decrease info

Relate each decrease hint with the first variable (defined with a let expression) that comes AFTER it.
see tests/pos/fixme.hs for an example.