A JUnit library for Frege