Add symbol and comment parsing to aiger module