Rename FOL.cpp to First_Order_Logic.cpp