Fixed satisfiability issues with operations, but new bug cropped up re: vertex degree not being recorded properly.