rename fromConstant to toConstant, more logical
Fix linearOp
Implement branching
Basic symbolic execution working