5faf8d6951
more efficient checks for divide-by-zero; witness search omits middle node; Removed unneeded temporaries; Removed superflous includes; Saving 4 Bytes per node during contraction.