Report a warning if the -init-> arrow has unsatisfied components

[vvergu]

The generated interpreter will fail to start (with an ArrayIndexOutOfBoundsException) if the -init-> arrow inherits unsatisfied components.

Perhaps we could report an error/warning on the -init-> arrow in this case.

The complication in achieving this is that it requires separate explication. Or at least separate analysis during the component gathering phase of the explication.