i'm writting a program by lex and yacc. i want to add some invariants in some special of an input file. my expected output is the same input file while some invaraints are place through statements.how can i do it? i can transfor the input file to output in lex but the order of invaraints and statements is not right . i want the invaraint placed before the statement.any suggestion?