value_of($defined(undefined)).should_be(false); 
value_of($defined(undefined)).should_be_false(); 
	return_false_on_undefined: function(){		value_of($defined(undefined)).should_be(false);	},
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/7f1afc7faec9287cc7436c37862e2162ec5c71cf/Core.js/clean/Spec/Core/Core.js