Constraints must be ground at evaluation else fail
Fixed bug for variables not being resolved properly