support multiple options per equation
ensure execution of all constraint tests, even if a error occurs
test multi-option equations and make them work as expected
introduce solution space option to distance constraint