During the development of #37 the question for the need of implementing Restrict for a new condition arise.
Initial study point to possible dead code, Conditions use domain-parametrized restrict functions implemented as a lambda, and most of Restrict methods seems only to be called from unit tests or the probe command. Semantics of Probe may be compromised, as the code used is not the same code as used in ct run.
A deeper study is needed on this topic.
During the development of #37 the question for the need of implementing Restrict for a new condition arise.
Initial study point to possible dead code, Conditions use domain-parametrized restrict functions implemented as a lambda, and most of Restrict methods seems only to be called from unit tests or the probe command. Semantics of Probe may be compromised, as the code used is not the same code as used in ct run.
A deeper study is needed on this topic.