Bitcode: Stop assuming non-null fields