Add a small regression test to -wrap-flow property testing

We need to extend the wrap-flow testing with a small regression test to get the accurate result. Testing only the property parsing is not enough anymore.