c2fLocal :: Local -> Clause