Entry
// Pre: x is ⊥int x;if (n > 0)// Post: x is ⊥
// Pre: x is ⊥x = n;// Post: x is ⊤
// Pre: x is ⊥if (n == 42)// Post: x is ⊥
// Pre: x is ⊥x = 5;// Post: x is {5}
// Pre: x is ⊥x = 44;// Post: x is {44}
// Pre: x is {5; 44}print(x);// Post: x is {5; 44}
// Pre: x is ⊤print(x);// Post: x is ⊤
Exit
True
True
False
False