dereference.expected

merge: 1 7 19
maybe: NI 5 9 -> obj 9 21
NI 5 9 -> null 9 25
N 10 2 -> obj 9 15
N 10 2 -> null 12 7
maybe: NO 16 9 -> obj 9 15
NO 16 9 -> null 12 7
maybe: NO 14 12 -> obj 9 15
maybe: NO 14 12 -> null 12 7