When baseapp.Query is called, it passes the query to the appropriate subtree and returns its result. Since each subtree construct proof in their scope, the root of the query is not AppHash but the root of the substore.

After calling the subtree's Query, the main query function should append the SimpleProof to its result that proves the subtree's root is contained in an AppHash.