fixed a bug in main and propagate

plus i think error visualization is working now in propagate. tested
with the params in the new andGate params