add method stubs forConditionFormulas