Remove unuseful detachable mark and preconditions from eg_item.e