rem: xTail = x; yTail = y; while (yTail != null) { if (xTail == null) return true; xTail = xTail.next; yTail = yTail.next; } return false; 
add: xTail = x; yTail = y; while (yTail != null) { if (xTail == null) return true; xTail = xTail.next; yTail = yTail.next; } return false; 
context: function shorterp(x, y){	var xTail, yTail;	xTail = x;	yTail = y;	while (yTail != null) {		if (xTail == null) return true;		xTail = xTail.next;		yTail = yTail.next;	}	return false;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/be9d7943c8d9925e72ff25c2d74d7daedce325f2/BenchPress.js/clean/js/benchmarks/BenchPress.js