added test for more complex nested conjunction