Pushcons instruction is never generated anymore since constructors are lifted to globals