fixed some bugs and some scaling issues (like simplification tables
adding experiments/utils/traces to repo
fixed direction bug in it-reduce