type AtomID = NonZeroUsize;
An abstract structural identifier serving as the common base of
PortID, LinkID, ForkID and JoinID.
Since this is a numeric identifier, which is serial and one-based,
it trivially maps into numeric codes of variables in the DIMACS
SAT format.
See [ID] for more details.