c2fGuard :: Guard -> Clause