working around weird nullpointerexception in satsolver
moved CAnalysisFrontend initialization

to prevent kiama error when running on our server