accept affine expressions where we expect a condition