Suggestion to make comp_simplify rule easier to understand
If the i+1 is making it to hard to read I can rename it to something else. Although I like the idea of going from t1 to tn.
If the i+1 is making it to hard to read I can rename it to something else. Although I like the idea of going from t1 to tn.