support any affine condition in a while