BUR #25677 has been approved by @nonamethanks.
create implication corrupted_star_(signalis) -> star_(signalis)
The corrupted star units (And other corrupted replikas such as Eule or Storch) should imply their non-corrupted counterparts when the character tag is used, as they are the same character but in alternate forms.