Added a Checker class that validates the formal correctness of a CF