Check substitution side effects

[le-cram]

For every module that is imported and where substitution is used, a warning should be generated, if not every abstract entity is substituted.