Check examples from ieee-1800-2012

[ssmolov]

Some examples from ieee-1800-2012 were not literally copied from IEEE standard, they were modified to meet internal requirements of the in-house tool for static analysis of HDL descriptions.
Existing examples should be compared with the standard and fixed, if needed.