public class Inf {
	m(x,y,a){
		var z; 
		var v;
		var w;
		var b;
		y=x;
		z=x;
		v=y;
		w=y;
		y=a;
		b=a;
		var c;
		var d;
		c = v;
		d = v;
	}
}

/*
TPH M m(TPH N x, TPH O y, TPH P a)({
    TPH Q z;
    TPH R v;
    TPH S w;
    TPH T b;
    (y)::TPH O = (x)::TPH N;
    (z)::TPH Q = (x)::TPH N;
    (v)::TPH R = (y)::TPH O;
    (w)::TPH S = (y)::TPH O;
    (y)::TPH O = (a)::TPH P;
    (b)::TPH T = (a)::TPH P;
    TPH U c;
    TPH V d;
    (c)::TPH U = (v)::TPH R;
    (d)::TPH V = (v)::TPH R;
    return;
})::TPH W

  Inf()({
    super(());
  })::TPH Z

}
// c::U d::V
//   \  /
//   v::R    w::S
//       \  /
//  z::Q y::O  b::T
//    \ /   \  /
//   x::N  a::P

RESULT Final: [[(TPH N < TPH O), (TPH R < TPH V), (TPH N < TPH Q), (TPH P < TPH O), (TPH R < TPH U), (TPH M = void), (TPH O < TPH S), (TPH O < TPH R), (TPH P < TPH T)]]
Simplified constraints: [(TPH O < TPH S), (TPH P < TPH O), (TPH O < TPH R), (TPH P < TPH T), (TPH N < TPH O), (TPH N < TPH Q)]
m: [(TPH DDV = java.lang.Object), (TPH DDX = java.lang.Object), (TPH DDX < TPH DDV), (TPH N < TPH DDX), (TPH P < TPH DDX)]
Class Inf: []
Inf: []

Unify nach Oder-Constraints-Anpassung:
UND:[(void =. M, , -1 WC: false, IT: false), (N <. O, 1 WC: false, IT: false, 1 WC: false, IT: false), (P <. O, 1 WC: false, IT: false, 1 WC: false, IT: false), (N <. Q, 1 WC: false, IT: false, 0 WC: true, IT: false), (O <. S, 1 WC: false, IT: false, 0 WC: true, IT: false), (O <. R, 1 WC: false, IT: false, 0 WC: true, IT: false), (P <. T, 1 WC: false, IT: false, 0 WC: true, IT: false)]
isInherited = false
isStatement = false

ODER:
*/