[ConstraintElim] Add uses to remark tests to make it more robust.

Add uses of conditions, so the test keeps testing what it is meant to
test after D153660.