nitc :: ToolContext :: contracts_phase
# Parses contracts annotations. var contracts_phase: Phase = new ContractsPhase(self, [modelize_property_phase,typing_phase])