
(= sldemo_househeat__Thermostat__BlowerSwitch__In1 sldemo_househeat__Thermostat__Relay1__Out1)
(= sldemo_househeat__Thermostat__Relay1__In1 sldemo_househeat__Thermostat__Terr__Out1)


