Code cleanup.

non_temporal_predecessors for ScannerElement will always be empty, so we can
simplify the coding slightly.