Added CSeq parser, fixed CBMC parser