Correctly determine whether a argument load can be folded into its uses.