contract c { function f() public pure {22237625-86535-0+1;
    555565-3*51;
}
}contract C {
	function g() public pure returns (
		uint,
		uint,
		uint,
		uint,
		uint,
		uint,
		uint,
		uint,
		uint,
		uint,
int, uint, bytes14) {
		uint
a;
		uint b;
		(,,,,,,,a,b,,,,) = g();
	}
}
// ====
// SMTEngine: all
// ----
// Warning 6133: (39-57): Statement has no effect.
// Warning 6133: (63-74): Statement has no effect.
