added yet another implicit flow test case