Tests Commented in verifyInvar -> Any Others to Add?