A.check(uint256) (tests/e2e/detectors/test_data/tautological-compare/0.8.20/compare.sol#3-5) compares a variable to itself:
	(a >= a) (tests/e2e/detectors/test_data/tautological-compare/0.8.20/compare.sol#4)

