this.checkedValue = checkedValue;
this.firstValue = firstValue; this.secondValue = secondValue;
	public RedundantBranch(Location location, int lineNumber, boolean checkedValue) {		this.location = location;		this.lineNumber = lineNumber;		this.checkedValue = checkedValue;	}