Update Worm.java

Made some minor corrections to the Worm invariants.