IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
No variable remove in user defined function, all variables are considered as used.
No variable remove when using in instruction in seq part, if r := something, r is considered as used even if not used in guard / invariant due to strict evaluation.
Description
Add documentation on variable remove.