include Frege Run Configuration