[GSoC 2015 Week 9 & 10]

In week 9 and week 10, I finished making MergeOptimizer be able to deal with nodes with assert inputs.

The Pull Request is here. It can handle following 3 cases.

1).

OP( x, y, z )
OP( assert(x, cond_x), y, z )
====
OP( assert(x, cond_x), y, z )

2).

OP( assert(x, cond_x), y, z )
OP( assert(x, cond_y), y, z )
====
OP( assert(x, cond_x, cond_y), y, z )

3).

OP( assert(x, cond_x), y, z )
OP( x, assert(y, cond_y), z )
====
OP( assert(x, cond_x), assert(y, cond_y), z )

Fore new test cases were also created.