disco-0.1.6: test/error-parse-RHS/input

f : N -> N
f(x) = x +

g : N -> N
g(x) = {? 5 if x > 5 .+ 4, 6 otherwise ?}