Test Cases simplify

Jan Burse, created Aug 19. 2019

1 Predikate simp_neg/2

2 Predikate simp_add/3

3 Predikate simp_sub/3

4 Predikate simp_mul/3

5 Predikate simp_slash/3

6 Predikate simp_int_pow/3

Comments