err:XS0012 not needed?

For p:input (5.1.1) we say that:

"It is a static error (err:XS0012) if the port given does not match the
name of an input port specified in the step's declaration."

There is no corresponding error for p:output. Actually, there used to be
one (err:XS0013) but it has been removed quite some time ago.

My question is:

- should we re-introduce err:XS0013; or
- should we remove err:XS0012 because it actually is a subset of
err:XS0010

I think that the latter option is correct.

Regards,
Vojtech