|--> interpretation(db=level2_patterns32,compiled32,
| pattern32_matrix,counter)
|--> nciccoercion(db=...)
|--> unif_hint(db=...)
|--> interpretation(db=level2_patterns32,compiled32,
| pattern32_matrix,counter)
|--> nciccoercion(db=...)
|--> unif_hint(db=...)