fixed the bug that alywas uses assertFormulaOperatorAnd() for any top level formula.