empty analysis for non-garbage words fixed