Used to imposed bounds on an IC attribute directly. Any goals suspended on the upperbound will be scheduled but not run.
This predicate is of use only for implementing solver extensions. User level code should post the constraint :: or >= and =< instead.
Typicaly not called directly but indirectly through set_ic_bounds/3 which works on variables.