anchor.diff:              )
            ).forAll
            (
  -            chosen_path.in
  +            chosen_path.oneOf
               (
                  current_node.join
                  (
  
positive.code:             ($f2.result)
           ).forSome
           (
              f2_node.in
              (
                 chosen_path.join
                 (
  
negative.code:          (
              root_node.oneOf
              (
                 Main.get_variable_manager().get_variable(($ps.text)).join
                 (
                    Main.get_model().get_predicate_as_relation("start_node")
                 )
              )
           );
  