better preconds for EVERY, EXISTS, FILTER, following MAP