check_identities exit 0
check_dyson exit 0
numeric_invariant exit 0
