fixed constraint generation for bindings in conditionals