Parses and validates And-Inverter Graphs stored in aag format.