Compact tree of Isabelle JUSTICE