Succeeds if Term is tenable. A Term is tenable if it does not contain any variables with tentative values which are inconsistent with any constraints involving thevariable. Note that variables with no tentative values are considered tenable.
% lib(fd) is loaded [eclipse 3]: X::1..5, X tent_set 3, tenable(X). % suceeds [eclipse 3]: X::1..5, X tent_set 7, tenable(X). % fails