allow != in constraints