Look only for translated units on consistency checking