{"forall":{"name":"tail","ty":{"app":{"fn":{"const":"List"},"args":[{"const":"Nat"}]}},"body":{"forall":{"name":"ih","ty":{"app":{"fn":{"const":"Eq"},"args":[{"app":{"fn":{"const":"List"},"args":[{"const":"Nat"}]}},{"app":{"fn":{"const":"rev"},"args":[{"app":{"fn":{"const":"filterZ"},"args":[{"var":"tail"}]}}]}},{"app":{"fn":{"const":"filterZ"},"args":[{"app":{"fn":{"const":"rev"},"args":[{"var":"tail"}]}}]}}]}},"body":{"forall":{"name":"z._@._probe.252624875._hygCtx._hyg.79","ty":{"const":"Nat"},"body":{"app":{"fn":{"const":"Eq"},"args":[{"app":{"fn":{"const":"List"},"args":[{"const":"Nat"}]}},{"app":{"fn":{"const":"rev"},"args":[{"app":{"fn":{"const":"ite"},"args":[{"app":{"fn":{"const":"List"},"args":[{"const":"Nat"}]}},{"app":{"fn":{"const":"Eq"},"args":[{"const":"Bool"},{"const":"Bool.false"},{"const":"Bool.true"}]}},{"app":{"fn":{"const":"instDecidableEqBool"},"args":[{"app":{"fn":{"const":"isZ.match_1"},"args":[{"opaque":"other"},{"app":{"fn":{"const":"Nat.succ"},"args":[{"var":"z._@._probe.252624875._hygCtx._hyg.79"}]}},{"opaque":"other"},{"opaque":"other"}]}},{"const":"Bool.true"}]}},{"app":{"fn":{"const":"List.cons"},"args":[{"const":"Nat"},{"app":{"fn":{"const":"Nat.succ"},"args":[{"var":"z._@._probe.252624875._hygCtx._hyg.79"}]}},{"app":{"fn":{"const":"HAppend.hAppend"},"args":[{"app":{"fn":{"const":"List"},"args":[{"const":"Nat"}]}},{"app":{"fn":{"const":"List"},"args":[{"const":"Nat"}]}},{"app":{"fn":{"const":"List"},"args":[{"const":"Nat"}]}},{"app":{"fn":{"const":"instHAppendOfAppend"},"args":[{"app":{"fn":{"const":"List"},"args":[{"const":"Nat"}]}},{"app":{"fn":{"const":"List.instAppend"},"args":[{"const":"Nat"}]}}]}},{"app":{"fn":{"const":"List.nil"},"args":[{"const":"Nat"}]}},{"app":{"fn":{"const":"filterZ"},"args":[{"var":"tail"}]}}]}}]}},{"app":{"fn":{"const":"filterZ"},"args":[{"var":"tail"}]}}]}}]}},{"app":{"fn":{"const":"filterZ"},"args":[{"app":{"fn":{"const":"HAppend.hAppend"},"args":[{"app":{"fn":{"const":"List"},"args":[{"const":"Nat"}]}},{"app":{"fn":{"const":"List"},"args":[{"const":"Nat"}]}},{"app":{"fn":{"const":"List"},"args":[{"const":"Nat"}]}},{"app":{"fn":{"const":"instHAppendOfAppend"},"args":[{"app":{"fn":{"const":"List"},"args":[{"const":"Nat"}]}},{"app":{"fn":{"const":"List.instAppend"},"args":[{"const":"Nat"}]}}]}},{"app":{"fn":{"const":"rev"},"args":[{"var":"tail"}]}},{"app":{"fn":{"const":"List.cons"},"args":[{"const":"Nat"},{"app":{"fn":{"const":"Nat.succ"},"args":[{"var":"z._@._probe.252624875._hygCtx._hyg.79"}]}},{"app":{"fn":{"const":"List.nil"},"args":[{"const":"Nat"}]}}]}}]}}]}}]}}}}}}}}