change category irreplaceable_bvas (359) -> meta
create implication irreplaceable_bvas (359) -> better_version_at_source (2972)
create alias irreplaceable_better_version_at_source (0) -> irreplaceable_bvas (359)
create alias ibvas (0) -> irreplaceable_bvas (359)