bugfixes: have to use value of constraint vars