Complete check for formulas in OEQ