Improve SpecConstr for local bindings: seed specialisation from the calls