test: add contract_requires

This test is weird, because it influences contract_requires's callees.
Need to figure out why contract_requires's callees changes (not only
DefIds, but also more importantly the callee instances.

Author: zjp-CN