prefixVarsInFormula | Fil | ObservableprefixVarsInFormula | Fil | Observable