Added support for Frege language