Error when executinng Move prover

[sepine]

When I run aptos move compile to compile the pancake-swap module, it can be compiled correctly.
However, when I try to execute aptos move prove one the pancake-swap module, I got the following errors.

{
"Error": "Move Prover failed: [internal] boogie exited with compilation errors:\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568674,87): Error: invalid type for argument 0 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568674,92): Error: invalid type for argument 1 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568674,97): Error: invalid type for argument 2 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568674,102): Error: invalid type for argument 3 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568727,87): Error: invalid type for argument 0 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568727,92): Error: invalid type for argument 1 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568727,97): Error: invalid type for argument 2 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568727,102): Error: invalid type for argument 3 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568812,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568812,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568853,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568853,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568894,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568894,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568935,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(568935,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569285,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569285,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569298,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569298,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569326,109): Error: invalid type for argument 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_overflowing_add: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569326,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_overflowing_add: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569339,109): Error: invalid type for argument 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_overflowing_add: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569339,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_overflowing_add: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569358,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569358,103): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569454,109): Error: invalid type for argument 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_overflowing_add: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569454,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_overflowing_add: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569473,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(569473,103): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(570238,96): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(570238,101): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(570595,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(570595,104): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(570952,100): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(570952,107): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571309,100): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571309,107): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571387,31): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571398,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571414,31): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571425,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571441,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571452,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571468,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571502,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571532,4): Error: mismatched types in assignment command (cannot assign int to bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571578,25): Error: invalid type for argument 0 in application of $IsValid'u64': bv64 (expected: int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571592,31): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571603,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571619,31): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571630,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571646,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571657,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571673,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571707,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(571737,4): Error: mismatched types in assignment command (cannot assign int to bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572033,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572033,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572046,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572046,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572106,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572106,103): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572221,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572221,103): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572657,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572657,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572670,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572670,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572730,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572730,103): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572845,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(572845,103): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(575991,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(576008,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(576189,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(576224,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577120,93): Error: invalid type for argument 1 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577120,98): Error: invalid type for argument 2 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577120,103): Error: invalid type for argument 3 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577356,93): Error: invalid type for argument 1 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577356,98): Error: invalid type for argument 2 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577356,103): Error: invalid type for argument 3 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577555,102): Error: invalid type for argument 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_split_u128: int (expected: bv128)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577555,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_split_u128: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577581,92): Error: invalid type for argument 1 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577581,97): Error: invalid type for argument 2 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577581,102): Error: invalid type for argument 3 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577638,102): Error: invalid type for argument 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_split_u128: int (expected: bv128)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577638,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_split_u128: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577664,92): Error: invalid type for argument 1 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577664,97): Error: invalid type for argument 2 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577664,102): Error: invalid type for argument 3 in application of $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577741,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577744,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577757,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577760,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577780,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577783,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577796,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577799,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577933,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577944,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577960,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(577987,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578014,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578041,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578068,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578095,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578122,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578273,25): Error: invalid type for argument 0 in application of $IsValid'u64': bv64 (expected: int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578287,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578298,4): Error: mismatched types in assignment command (cannot assign bv64 to int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578314,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578341,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578368,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578395,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578422,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578449,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(578476,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(580912,9): Error: invalid type for out-parameter 0 in call to $CastBv64to128: int (expected: bv128)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581065,4): Error: mismatched types in assignment command (cannot assign int to bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581119,25): Error: invalid type for argument 0 in application of $IsValid'u64': bv64 (expected: int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581132,9): Error: invalid type for out-parameter 0 in call to $CastBv64to128: int (expected: bv128)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581285,4): Error: mismatched types in assignment command (cannot assign int to bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581679,31): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581690,4): Error: mismatched types in assignment command (cannot assign $Mutation bv64 to $Mutation int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581693,32): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581696,139): Error: invalid type for argument 1 in application of $Update'$c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256'_v0: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581716,31): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581727,4): Error: mismatched types in assignment command (cannot assign $Mutation bv64 to $Mutation int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581730,32): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581733,139): Error: invalid type for argument 1 in application of $Update'$c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256'_v1: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581753,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581764,4): Error: mismatched types in assignment command (cannot assign $Mutation bv64 to $Mutation int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581767,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581770,139): Error: invalid type for argument 1 in application of $Update'$c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256'_v2: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581790,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581826,4): Error: mismatched types in assignment command (cannot assign $Mutation bv64 to $Mutation int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581829,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581832,139): Error: invalid type for argument 1 in application of $Update'$c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256'_v3: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581903,25): Error: invalid type for argument 0 in application of $IsValid'u64': bv64 (expected: int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581906,25): Error: invalid type for argument 0 in application of $IsValid'u64': bv64 (expected: int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581924,31): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581935,4): Error: mismatched types in assignment command (cannot assign $Mutation bv64 to $Mutation int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581938,32): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581941,139): Error: invalid type for argument 1 in application of $Update'$c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256'_v0: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581961,31): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581972,4): Error: mismatched types in assignment command (cannot assign $Mutation bv64 to $Mutation int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581975,32): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581978,139): Error: invalid type for argument 1 in application of $Update'$c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256'_v1: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(581998,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582009,4): Error: mismatched types in assignment command (cannot assign $Mutation bv64 to $Mutation int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582012,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582015,139): Error: invalid type for argument 1 in application of $Update'$c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256'_v2: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582035,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582071,4): Error: mismatched types in assignment command (cannot assign $Mutation bv64 to $Mutation int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582074,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582077,139): Error: invalid type for argument 1 in application of $Update'$c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_U256'_v3: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582168,31): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582179,4): Error: mismatched types in assignment command (cannot assign $Mutation bv64 to $Mutation int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582182,32): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582185,140): Error: invalid type for argument 1 in application of $Update'$c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_DU256'_v0: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582205,31): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582219,32): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582242,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582256,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582279,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582293,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582316,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582330,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582353,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582367,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582390,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582404,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582427,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582466,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582552,25): Error: invalid type for argument 0 in application of $IsValid'u64': bv64 (expected: int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582555,25): Error: invalid type for argument 0 in application of $IsValid'u64': bv64 (expected: int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582573,31): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582584,4): Error: mismatched types in assignment command (cannot assign $Mutation bv64 to $Mutation int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582587,32): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582590,140): Error: invalid type for argument 1 in application of $Update'$c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_DU256'_v0: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582610,31): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582624,32): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582647,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582661,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582684,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582698,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582721,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582735,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582758,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582772,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582795,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582809,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582832,32): Error: invalid type for argument 1 in application of $IsEqual'bv64': int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582871,34): Error: invalid type for argument 1 in application of $UpdateMutation: bv64 (expected: T)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(582988,9): Error: invalid type for out-parameter 0 in call to $CastBv8to64: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583014,9): Error: invalid type for out-parameter 0 in call to $CastBv8to64: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583151,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583151,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583185,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583185,103): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583400,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583400,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583431,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583431,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583487,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583487,103): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583638,24): Error: invalid type for argument 0 in application of $IsValid'u8': bv8 (expected: int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583661,9): Error: invalid type for out-parameter 0 in call to $CastBv8to64: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583687,9): Error: invalid type for out-parameter 0 in call to $CastBv8to64: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583824,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583824,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583858,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(583858,103): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584073,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584073,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584104,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584104,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584160,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584160,103): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584482,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584482,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584525,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584525,104): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584780,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584780,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584789,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584789,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584867,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(584867,104): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585198,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585198,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585241,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585241,104): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585496,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585496,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585505,97): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585505,9): Error: invalid type for out-parameter 0 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_get: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585583,98): Error: invalid type for argument 1 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585583,104): Error: invalid type for argument 2 in call to $c7efb4076dbe143cbcd98cfaaa929ecfc8f299203dfff63b95ccb6bfe19850fa_u256_put: int (expected: bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585699,25): Error: invalid type for argument 0 in call to $ShrU128: bv128 (expected: int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585752,4): Error: mismatched types in assignment command (cannot assign int to bv64)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585792,26): Error: invalid type for argument 0 in application of $IsValid'u128': bv128 (expected: int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585803,25): Error: invalid type for argument 0 in call to $ShrU128: bv128 (expected: int)\n/media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl(585856,4): Error: mismatched types in assignment command (cannot assign int to bv64)\n247 type checking errors detected in /media/user/xxx/move/move_projects/pancake-contracts-move/pancake-swap/boogie.bpl\n"

Is there any help for the above issues?

Thanks.