A basic implementation of a parser plus monotone frameworks for dataflow analysis