Optimize: only compute converse of conjuncts once