17:29:14scymtymcould also add tracing (in the model transformation sense): from which other ir objects has a given object been derived and by which operation. but you probably thought of that
19:25:48stassatslooks like i'm able to fix a stack-analyze problem not by deleting an aver, but by doing better dead code elimination
19:26:23stassats(although semantically the aver is not right)
19:33:05stassatsbut optimizing and fixing a bug in one go is nicer