Added fvars function to formula, allowing Condition to return general-form solutions