c2fDef :: Def -> Clause