Check DC on ``A or else B`` as a Post aspect attached to a subprogram
declaration.
