Parser tests
implemented #286: improved dataflow anomaly checker