Added constraint processing of else blocks.