Prevent crashes for CIF name patterns when certain characters are used

As a follow-up to #1176 (closed), fix similar regex issues in other places as well:

• CIF/BDD:
  • CifToBddConverter.orderEdgesForDirection
• CIF simulator:
  • InteractiveAutoChooseOption
  • NonUrgentEventsOption
  • RuntimeStateFilterer