This is intended as a useful pre(Goal) for lp_demon_setup/6 in connection with the bounds trigger mode. It succeeds if any of the solutions (computed by the most recent successful solving) of Handle are more than a tolerance outside the range of the corresponding variables, ie. couldn't be instantiated to this value. The admissible tolerances can be specified in lp_setup/4 or lp_set/3 as demon_tolerance.