How to take a EC for Property Verification.