method vpredicate = visitor#vpredicate