src(tools/simple-bmc): add Makefile, update _tags
src(tools/simple-bmc): add Integral and Vec to exp, simplify code
src(tools/simple-bmc): update Define-ODE to take a set of ODEs
src(tools/simple-bmc): use new define-ODE and produce flow formula(integral)