add short-circuiting test case