| $tofromlist_2(BindingsTable, Term, Term) |  | 0% | | 0% | 17 | 17 | 47 | 47 | 1 | 1 |
| $functor_3(BindingsTable, Term, Term, Term) | | 0% | | 0% | 18 | 18 | 25 | 25 | 1 | 1 |
| term_greater_than_2(BindingsTable, Term, Term) | | 0% | | 0% | 21 | 21 | 33 | 33 | 1 | 1 |
| $stripBagList_5(BindingsTable, Struct, Struct, Term, Term, Term) | | 0% | | 0% | 5 | 5 | 24 | 24 | 1 | 1 |
| variant(Term, Term) | | 0% | | 0% | 9 | 9 | 20 | 20 | 1 | 1 |
| term_equality_2(BindingsTable, Term, Term) |  | 16% | | 12% | 12 | 13 | 18 | 22 | 0 | 1 |
| $list_diff_3(BindingsTable, Struct, Struct, Var) | | 0% | | 0% | 6 | 6 | 16 | 16 | 1 | 1 |
| $arg_3(BindingsTable, Int, Struct, Term) | | 0% | | 0% | 5 | 5 | 8 | 8 | 1 | 1 |
| expression_minus_1(BindingsTable, EvaluableTerm) | | 0% | | 0% | 5 | 5 | 10 | 10 | 1 | 1 |
| ground_1(BindingsTable, Term) | | 0% | | 0% | 7 | 7 | 13 | 13 | 1 | 1 |
| list_1(BindingsTable, Term) | | 0% | | 0% | 6 | 6 | 12 | 12 | 1 | 1 |
| variable_set_2(BindingsTable, Term, Term) | | 0% | | 0% | 4 | 4 | 8 | 8 | 1 | 1 |
| get_operators_list_1(BindingsTable, Struct) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| expression_div_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| num_atom_2(BindingsTable, Term, Term) | | 0% | | 0% | 4 | 4 | 8 | 8 | 1 | 1 |
| set_theory_1(BindingsTable, Term) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| expression_bitwise_not_1(BindingsTable, EvaluableTerm) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| expression_equality_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | 0% | 4 | 4 | 5 | 5 | 1 | 1 |
| $current_pred_impl_3(BindingsTable, Term, Term, IteratorAsTerm) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| text_term_2(BindingsTable, Term, Term) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| text_concat_3(BindingsTable, Term, Term, Term) | | 0% | | 0% | 3 | 3 | 3 | 3 | 1 | 1 |
| $all_dynamic_predicate_indicators_1(BindingsTable, Term) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| record_2(BindingsTable, Number, Term) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| erase_2(BindingsTable, Number, Term) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| recorded_2(BindingsTable, Number, Term) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| expression_pow_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| expression_bitwise_shift_right_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| expression_bitwise_shift_left_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| expression_bitwise_and_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| expression_bitwise_or_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| load_library_2(BindingsTable, Struct, Term) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| expression_greater_or_equal_than_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | 0% | 3 | 3 | 1 | 1 | 1 | 1 |
| expression_integer_div_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| add_theory_1(BindingsTable, Term) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| term_less_than_2(BindingsTable, Term, Term) | | 0% | | 0% | 3 | 3 | 1 | 1 | 1 | 1 |
| new_record_key_1(BindingsTable, Var) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| get_theory_1(BindingsTable, Term) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| compound_1(BindingsTable, Term) | | 0% | | 0% | 3 | 3 | 1 | 1 | 1 | 1 |
| atomic_1(BindingsTable, Term) | | 0% | | 0% | 3 | 3 | 1 | 1 | 1 | 1 |
| expression_less_or_equal_than_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| expression_less_than_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| expression_greater_than_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 74% | | 37% | 4 | 5 | 1 | 5 | 0 | 1 |
| expression_plus_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 73% | | 50% | 2 | 3 | 1 | 5 | 0 | 1 |
| expression_minus_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 73% | | 50% | 2 | 3 | 1 | 5 | 0 | 1 |
| expression_multiply_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 73% | | 50% | 2 | 3 | 1 | 5 | 0 | 1 |
| current_time_1(BindingsTable, Term) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| erase_1(BindingsTable, Number) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| nonvar_1(BindingsTable, Term) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| eval_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| expression_plus_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| warning_0(BindingsTable) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| nowarning_0(BindingsTable) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| constant_1(BindingsTable, Term) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| number_1(BindingsTable, Term) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| integer_1(BindingsTable, Term) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| float_1(BindingsTable, Term) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| atom_1(BindingsTable, Term) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| var_1(BindingsTable, Term) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| $has_next_1(BindingsTable, IteratorAsTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getSynonym(String) | | 100% | | 100% | 0 | 23 | 0 | 45 | 0 | 1 |
| number_equality_2(Number, Number) | | 100% | | 100% | 0 | 7 | 0 | 5 | 0 | 1 |
| is_2(BindingsTable, Term, EvaluableTerm) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| BasicLibrary() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getTheory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |