The main part of this MR is to modernize the code, make it functional and using derived conditions.
Part of the set of MRs !3386 (merged) Lbcom!596 (merged) Rec!2700 (merged) Boole!378 (merged) Allen!757 (merged) Brunel!1193 (merged)
The main part of this MR is to modernize the code, make it functional and using derived conditions.
Part of the set of MRs !3386 (merged) Lbcom!596 (merged) Rec!2700 (merged) Boole!378 (merged) Allen!757 (merged) Brunel!1193 (merged)