Generic epsilon-removal

From LRDE

Abstract

FIXME