idris-1.3.3: test/interactive004/expected.out

plus ?foo_rhs2 ?foo_rhs3
(append k m ?append_rhs2 ?append_rhs3)