Precise, safe, and effective NULL checks.
'tuple_iter->arch.vpit == NULL' is a counter example.
Experimental fix. User-space tests successful.