Why does SpecConstr run far later than specialisation