Fatal error, out of memory

[mhdsakr]

Hi,

When I ran the tool, it keeps printing lines like the below:

0 >0 >0 >0 >0 >0 >0 >0 >0 >0 >0 >0 END.

0 >0 >0 >0 >0 >0 >0 >0 >0 >0 >0 >0 END.

0 >0 >0 >0 >0 >0 >0 >0 >0 >0 >0 >0 END.

Then after 10 minutes I got an out of memory error.
When I remove one of the rules in the TA, or replace a guard with "true", it works (and 0s are never printed)!
Note that in both cases (with or without that rule), the tool says: found 0 non-trivial SCCs...
Any idea why this could be happening?

Regards,
Mouhammad Sakr