Name: module_info/2
Module: module_information
Name: do_not_enumerate_binary_boolean_operator/3
cannot_propagate(domain(_),_). % when knowing dom(f) we cannot derive f cannot_propagate(range(_),_).
Called:
Name: cannot_propagate_value_to_expr/1
cannot_propagate_value_to_expr(b(E,T,_)) :- cannot_propagate(E,T).
Calls:
Name: cannot_propagate/2
do_not_enumerate_binary_boolean_operator(subset,LHS,_) :- cannot_propagate_value_to_expr(LHS).
Name: b_test_atomic_boolean_expression2/5