Regression tests: branch names containing "rule" are being parsed as theory rules.

[yavivanov]

Tamarin adds an information block to analyzed theories as a comment. The following is an example block from a branch of mine called "sapic-rulenames" (I changed the Git commit hash).
/*
Generated from:
Tamarin version 1.7.1
Maude version 3.2.2
Git revision: 123456789 (with uncommitted changes), branch: sapic-rulenames
Compiled at: 2023-06-29 10:08:01.255674799 UTC
*/
My branch's name was "sapic-rulenames" - so the comment block contained the word "rule". The Python script for the regression tests parsed "names Compiled at 2023-06-29 10:08:01.255674799 UTC" as an additional theory rule (although the word "rule" was in a comment). Consequently, the regression tests failed, and the script threw an error that the analyzed theory had one more rule than it should. Even with verbosity set to the highest level, it was hard to pin it down. I managed to find it only after a slight script modification.