benchmark(hybrid_systems/bouncing_ball): fix bouncing_ball.drh to be infix-form