@Override
      public boolean becameNonTransitive() {
        return pastRequirement.isTransitive() && !ModuleRequiresRepr.this.isTransitive();
      }
@Override
      public boolean becameNonTransitive()