Incorrect circuit STG generator rules

[Stan]

we need to change default behaviour for set and reset functions on the function contacts and circuit ports
- when both functions age given, generate accodrdingly
- when only set function is given - generate reset logic as a negation from the set function
- when only reset function is given - generate set logic as a negation from the reset function
- when neither function is provided, assume they have unrestricted behaviour
(possibly, this behaviour will be restricted later by parallel composition with environment STG)