In fixing constraints, handle all-binding-variable and cases where the term is at any position.