feat(tools/simple-bmc): print define-ode using prefix format
checkpoint