test expression, not constraint