Model transformation #156
Description
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.