Undef

concerning issue #91

this also fixes a huge load of src_check errors introduced by GtUword changes.