BUG FIXED: no more out edges from the terminal states anymore