Version 1.2.4

Minor:

• guarantees the same order on relations for predictable results
• fixed a bug when all bounds static but temporal formula
• fixed a bug on automatic static/var bound splitting
• tests, documentation updated