Code to test CrfFormatter