Function to check whether a type map is impossible.
Remove impossible transitions from the instruction graph.