building of backward transitions re-written