modefied parser.v: adding filtering