Review ShortCircuitExt and EvalPurity #259
Description
#254 has been merged as-is, but there is a potential need to revisit and review, perhaps even revise the code of ShortCircuitExt and EvalPurity introduced in that PR.