Algorithm 3: IsConsistentContract Function

Require: CD  Ensure: $TrueorFalse$   for $\forall R$ $\in C$D do     if IsWellFormedRule(R) $=False$ then     return $False$    end if   end for   for $\forall R$ $\in \mathrm{C}$D do     if IsCoreRule(R, CD) $=False$ then     return $False$    end if   end for   return$True$