Infer attributes for the nested functions `__require` and `__ensure` is not correct, because sometimes they would need to be impure.
See the my below test case.