bound-extras-0: examples/sysf-0.txt

0 : (-> (-> a a) (-> a a))
0 = (poly b (fn (the (-> b b) x) (fn (the b x0) x0)))
0 = (poly b (fn (the (-> b b) x) (fn (the b x0) x0)))