added `OCSLogicComparationResult`