change set_successor to add_successor in order to support multiple successors statement like IF