ensureLabelSet pass, and use it to avoid zeroing out all local vars in emterpreter