NIL-record checking works again.

However this cannot yet be tested because TIGER => LLVM type
translation for RECORDs is not yet implemented.