Fancy predicate in amb test