Add pending lines to HammingSpecs