Add FOL to clause form conversion code

TODO: merge the node code