tests on more complex expression trees