ViewLogicModelAdapter now uses NandGate for GUINandGate