Make sure that source voltages `Van` and `Vcn` are in the correct order. Also make sure that voltage propagation is working as expected and add a test. cc @benoit9126