added a stub implementation of FormulaExists and a test for it.