Automatic formula grounding added.