epsilon transitions reflected in input testing