1 2 3 4 5 6 7 8 9 10 11 12
class D { object p // (program point 1) } class C { def m: D = { if ("abc".length == 0) { object p // (program point 2) } null } }