Return to Article Details Cheap Fidelity before Expensive Plan Verification