Title: An empirical study of fault detection by static units-consistency analysis