Added argument casting when type is same.#137

adpaco-aws merged 2 commits intomodel-checking:main-152-2021-05-26model-checking/kani:main-152-2021-05-26from

vecchiot-aws:call_argument_castingvecchiot-aws/rmc:call_argument_castingCopy head branch name to clipboard