add test cases for lazy and short-cutting operations