added dependencies to check_overflow