fixed analyze output file and omnisol bugs