Clone and replace FirstOrderLogicFormula implemented