Added matching ikar + OTL for all conjuncts