fix bug in detecting isomorphic transitions