Modified play predicates : now we can choose the IA we want to use.