// Minimized test case from InitializationVisitor.

class IATF<
        Value extends CFAV<Value>,
        Store extends IS<Value, Store>,
        Transfer extends IT<Value, Transfer, Store>,
        Flow extends CFAA<Value, Store, Transfer>>
    extends GATF<Value, Store, Transfer, Flow> {}

class CFAV<V extends CFAV<V>> {}

class IS<V extends CFAV<V>, S extends IS<V, S>> extends CFAS<V, S> {}

class IT<V extends CFAV<V>, T extends IT<V, T, S>, S extends IS<V, S>> extends CFAT<V, S, T> {}

class CFAA<V extends CFAV<V>, S extends CFAS<V, S>, T extends CFAT<V, S, T>> {}

class CFAT<V extends CFAV<V>, S extends CFAS<V, S>, T extends CFAT<V, S, T>> {}

class CFAS<V extends CFAV<V>, S extends CFAS<V, S>> {}

class GATF<
    Value extends CFAV<Value>,
    Store extends CFAS<Value, Store>,
    TransferFunction extends CFAT<Value, Store, TransferFunction>,
    FlowAnalysis extends CFAA<Value, Store, TransferFunction>> {}

class BTV<Factory extends GATF<?, ?, ?, ?>> {}

class IV<
        Factory extends IATF<Value, Store, ?, ?>,
        Value extends CFAV<Value>,
        Store extends IS<Value, Store>>
    extends BTV<Factory> {}