(ercRules 
    (setPower "vdd!") 
    (setGround "vss!" "gnd!") 
    (oneWayPath "npn" "C" "E") 
    (oneWayPath "npn" "B" "E")
    (twoWayPath "nmos" "D" "S") 
    (twoWayPath "pmos" "D" "S") 
    (twoWayPath "nmos4" "D" "S") 
    (twoWayPath "pmos4" "D" "S") 
    (checkFloatingDevices)
    (checkFloatingNets) 
    (checkOneNetDevices) 
    (checkOneTerminalNets) 
    (checkConnected "nmos" "B" "vdd!") 
    (checkConnected "pmos" "B" "vss!")
)