A new model for improving symbolic Product Machine traversal