Right now we allow pushing states that are duplicates of known states if its elapsed time is less than or equal to the known state's elapsed time. We want to remove the "or equal" part for pushing (to reduce duplication) but not for popping (because then we don't process the known states themselves).
Right now we allow pushing states that are duplicates of known states if its elapsed time is less than or equal to the known state's elapsed time. We want to remove the "or equal" part for pushing (to reduce duplication) but not for popping (because then we don't process the known states themselves).