Deduplicate checks for pointer synthesis, and reinstate check that the pointer base is in fact available.