failing test case for static evaluation