public class s_UnifiedAb : s_A { public s_UnifiedAb(s_AS1 a1, s_AS2b a2) { }
public class s_UnifiedAaBase : s_A { public s_UnifiedAaBase(s_AS1 a1, s_AS2aBase a2) { }
public class s_UnifiedAa : s_A { public s_UnifiedAa(s_AS1 a1, s_AS2a a2) { }
// Supergraph unifiers: public class s_UnifiedAD : s_A { public s_UnifiedAD(s_AS1 a1, s_AS2Base a2) { }