| class2(Globals, ST_Agraph_s) |   | 66% | | 52% | 21 | 36 | 31 | 78 | 0 | 1 |
| merge_chain(ST_Agraph_s, ST_Agedge_s, ST_Agedge_s, boolean) | | 0% | | 0% | 4 | 4 | 15 | 15 | 1 | 1 |
| interclrep(ST_Agraph_s, ST_Agedge_s) | | 83% | | 66% | 4 | 7 | 6 | 19 | 0 | 1 |
| mergeable(ST_Agedge_s, ST_Agedge_s) | | 64% | | 50% | 4 | 7 | 2 | 6 | 0 | 1 |
| class2__c() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| make_chain(ST_Agraph_s, ST_Agnode_s, ST_Agnode_s, ST_Agedge_s) | | 100% | | 100% | 0 | 5 | 0 | 18 | 0 | 1 |
| label_vnode(ST_Agraph_s, ST_Agedge_s) | | 100% | | 75% | 1 | 3 | 0 | 14 | 0 | 1 |
| leader_of(ST_Agraph_s, ST_Agnode_s) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| incr_width(ST_Agraph_s, ST_Agnode_s) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| is_cluster_edge(ST_Agedge_s) | | 100% | | 100% | 0 | 3 | 0 | 4 | 0 | 1 |
| plain_vnode(ST_Agraph_s, ST_Agedge_s) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |