merge generates valid bytecode / faulty ordering of predicates
merge generates valid bytecode / faulty ordering of predicates