Don't create multiple pool items for lexical locations which are used multiple times as inputs.

[no-defun-allowed]

We fix a bug in the default method for compute-new-input-pool which would create invalid pools, where a lexical location which has been used as multiple inputs to one instruction appears in multiple items in the computed input pool. We also validate pools, signalling a condition if a lexical location appears in multiple pool entries.