twopass_compat -- verifies compatibility with the existing ".hal" files of sim/axis.ini