uwplse/StructTact

Make find_rewrite consistent

Kethku opened this issue · 0 comments

find_rewrite currently has 4 cases which all have weird idiosyncrasies. Most glaring is the first case with 4 arguments. This should be cleaned up and tested on the verdi codebase