Machine Verifier: verify FrameSetup and FrameDestroy