Get constraints on variables notated as Var | {Constraints} and
use assigned variable names. Note that this binds the attributed
variables in Term. This code is normally used on a copy or inside
double negation (\+ \+ ( inline_constraints(Term, Options),
...)).