Added testcases for * oprerator
Added testcases for modulo
Added testcases for < and <=
Added testcases for > and >=
Added testcases for division
Added auto-generated expr.h
Merge branch 'feature-symbolic'