Removed "rtl" column from report
Various cosmetic changes
Added issue_005 (undef propagation)