Optimize translation to internal transition relation