adds simulation capabilities to circuit model; adds functionality to check if signal redundant