JavaTXCompilerInJavaTX/examples/pl_usecases/SMatrix.jav

import de.dhbwstuttgart.typeinference.Menge;

class Matrix extends Menge<Menge<Integer>> {

        mul(){
                Menge<Menge<Integer>> ret1;
                Menge<A> ret;
                return ret;
        }

}