Bug fix and optimizations; added checklist checking

Optimizations for regex to filter printed header;
Added checking for Trace checklist;
Refactored the method of parsing justifications.