let skel =
    [|
      [|falsefalsetrue ; falsetrue |]; (* 0 is part of branch 1 *)
      [|falsefalsetrue ; falsefalse|]; (* 1 is the root *)
      [|true ; true ; falsetrue ; false|]; (* 2 is the branching point *)
      [|falsefalsetrue ; falsefalse|]; (* 3 is branch 2 *)
      [|true ; falsefalsefalsefalse|]; (* 4 is the end of branch 1 *)
    |]