Svag matchende rim for dataflow analysis