Verifications

Listed below are all the verification currently implemented in ConStrain.