[rename_ok']: put result of find_subtree explicitly in post condition
[rename_ok']: put result of find_subtree explicitly in post condition

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl