wrong place to print out transition relation