Primitives on suspending variables

• constraints_number(+V,-N) The number of delayed calls in which the suspending variable V is involved is N.

• frozen(-L) The list of all suspending calls is L.

• frozen(+V,-L) The list of suspending calls in which the suspending variable V is involved is L.