For all indexing methods proposed in this paper, the WAM code for a single
clause is not relevant. Therefore, a clause is represented by a box containing
only the number (label) of the clause. Similarly, a fail is represented by
a box containing fail.