Static Verification Problems (Simulation Standard and above)