Improve DefaultParametricMonitor

Fix bug related to timestamp in FSM_a_bc_abc (Timestamp min-max calculation was not sound)
Remove linenumbers
Refactor idioms