anchor.diff:        $result =
            ($bl_formula.result).forSome
            (
  -            next_node.in
  +            next_node.oneOf
               (
                  chosen_path.join
                  (
  
positive.code:       $result =
           ($bl_formula.result).forAll
           (
              next_node.in
              (
                 current_node.join
                 (
  
negative.code:             ($f2.result)
           ).forSome
           (
              f2_node.oneOf
              (
                 chosen_path.join
                 (
  