Circuit conformation does not work for the environment containing internal signals

[Danil Sokolov]

If the environment STG has internal signals, then the circuit conformation (usually) does not hold.
A workaround is to substitute the internal signals with dummies for the purpose of conformation check.
Note that the verification for hazards does not allow dummies and should be performed with the original STG.
The deadlock check can be done with any STG - the original one or the one with dummies.