For models imported from GINsim, GINsim performs minimization of the update functions before export. As such, the resulting function may have fewer inputs as the function declared in the model (if said inputs are used but not actually matter in the function). This is also done during Booleanization.
This is technically correct for the resulting model, but it hides logical errors, because it removes unused/invalid regulations from the model.
Not sure how to resolve this correctly. The best option would be to implement our own, stricter GINsim import and Booleanization, but that's a lot of work...
For models imported from GINsim, GINsim performs minimization of the update functions before export. As such, the resulting function may have fewer inputs as the function declared in the model (if said inputs are used but not actually matter in the function). This is also done during Booleanization.
This is technically correct for the resulting model, but it hides logical errors, because it removes unused/invalid regulations from the model.
Not sure how to resolve this correctly. The best option would be to implement our own, stricter GINsim import and Booleanization, but that's a lot of work...