Fixed bugs in Schnieder's logic\!, also understood updates, now need to implement them. There is still a bug in the move logic of sequential statements