[Termtools] Re: ceta(2) - selective context closure?

so, for each “rule" in R, it is tested whether that rule is in R’, or the full context-closure of that rule is in R’ (modulo variable-renamings via “instance_rule”)

Since I did not change the code of FCCs for CeTA 2.46 and CeTA 3.1, this should work, but please test beforehand.

yes, this seems to work. Thank you! - Johannes.