Fix symetric difference, add pseudo-code for an augmenting path function