public Variable(int type, int index) { this(type, index, 1000*index);
public Variable(int type, int index, int ssaValue) { super(type); this.index = index; this.ssaValue = ssaValue;
	public Variable(int type, int index) {		this(type, index, 1000*index);	}