When loading a component, it could prove beneficial to transform the model to reduce trivially true/false constraints. In a simple system, if a clock x is reset, followed by an edge with the guard x < 5, that would be trivially true. Given this, one could remove clock x and remove the guard.
When loading a component, it could prove beneficial to transform the model to reduce trivially true/false constraints. In a simple system, if a clock
xis reset, followed by an edge with the guardx < 5, that would be trivially true. Given this, one could remove clockxand remove the guard.