Instead of gathering a set of 'candidates' in the occurrence
	analyser, use the isLocalId predicate to identify things
	for which occurrence information is required.  By defn
	isLocalId is true of Ids (whether top level or not) defined
	in this module, and that is exactly what we want.

	The 'candidates set' predated the LocalId invariant, I think.