hopefully fixed a bug which caused too high register pressure when inserting remat2s