introducted flags in formulas, for caching some boolean properties;
two flags used for groundness and simplification status of formulas