void conditionMerge(int p, int q)
{
    int x = 4;

    if (p == q) {
        // p == q, x == 4
        if (p == x) {
            // p == q == 4
            checkpoint1:
        }
    }
}