Top-level sanity check should detect when machines are included

For the following file there is a spurious warning:

The top-level is indeed a disjunction, but the typing is provided in another included machine.