- applicable_assertions(:Call, -AsrGlobL:list, -AsrSuccL:list) is det
- For a given Call, AsrGlobL gives the applicable assertions with global
properties and AsrSuccL gives the applicable assertions with success
properties. This predicate is intended to be used at run-time.
The following predicates are exported, but not or incorrectly documented.
- applicable_prop_check(Arg1, Arg2, Arg3)