If we add a constraint like "0 == 0", how should Coek handle this? Throw an error? Ignore the constraint?