Applying formal methods 3.

• skipped linkers, found variants, recognized mistakes