avoid verifier warnings in sparc by explicitely modeling RestoreZero using the frame...