success riddled with unreduced epsilon transitions