recursive blocking of cyclic proofs, e.g., for rendering in Protege