scasp_dyncall: #> / 2

#=(?A, ?B)
#<>(?A, ?B)
#<(?A, ?B)
#>(?A, ?B)
#>=(?A, ?B)
#=<(?A, ?B): Implementation of the s(CASP) constraints. This implementation is normally not used and mostly makes the program analysis work.