New: add compilation flag STRICT_CHECK. It stops the simulation when some impossible conditions take place.