max(+ Expression)* Maximizes Expression within the current constraint store.
This is the same as computing the supremum and equating the expression to that supremum.
1. prolog::max_1::max/1(int ARG1)():