Tabulation/ISAT compiling to be tested at runtime