Add pretty module-comments to main file
Fix persistent-data-between-faults bug
Include output lines in stuck-at faults computation