If true, visible self-defined InterfaceSpecifications are derived