Fixing bugs with BinOpExpr, optimizing computation engine