add test case for flowsensitive. Passed