Svagt matchande rim för dataflow analysis