further improved early width and sign detection in ast simplifier
Fixes for early width and sign detection in ast simplifier
Improved comments on topological sort in edif backend