In simple term abduction discard list checking, compare modulo alien subterm variables when dissociation is on.