Fixed full propagation

Bug on indivifual propagation. EG
1 0
-1 2 0
Any variation of clauses after this, other than a 2 0, will lead to a
segmentation fault