Multiple aliases referencing the same pin

See Intentional or an aliasing related bug? - #6 by jslaker