rem: return (el.oldValue != el.value); 
add: return ((el.oldValue) && (el.oldValue != el.value)); 
context: function isChanged(elementId) {  var el = document.getElementById(elementId);  return (el.oldValue != el.value);}
meta: 7108	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7108/f7d5b6b854b3514bdbed9be911d96312414880f5/aranea-ui.js/clean/etc/js/aranea/aranea-ui.js