| read_1(BindingsTable, Term) |  | 0% | | 0% | 9 | 9 | 17 | 17 | 1 | 1 |
| text_from_file_2(BindingsTable, Term, Term) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| see_1(BindingsTable, Term) | | 0% | | 0% | 5 | 5 | 13 | 13 | 1 | 1 |
| tell_1(BindingsTable, Term) | | 0% | | 0% | 5 | 5 | 13 | 13 | 1 | 1 |
| get_1(BindingsTable, Term) | | 0% | | 0% | 4 | 4 | 5 | 5 | 1 | 1 |
| put_1(BindingsTable, Term) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| get0_1(BindingsTable, Term) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| tab_1(BindingsTable, Int) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| seen_0(BindingsTable) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| told_0(BindingsTable) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| getOutputStream(String) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| print_1(BindingsTable, Term) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| write_1(BindingsTable, Term) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| rand_int_2(BindingsTable, Number, Term) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getInputStream(String) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| rand_float_1(BindingsTable, Term) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| nl_0(BindingsTable) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| seeing_1(BindingsTable, Term) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| telling_1(BindingsTable, Term) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| readStream(InputStream) |  | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| IOLibrary() | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| getTheory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |