//PARAM: --set ana.activated '["constants"]'
// intentional explicit ana.activated to do tutorial in isolation
// NOCHECK
int main(){
    int x = 3;
    int y = 4;
    int z;
    int c;
    c = x + y;

    if(c){
        z = 0;
    } else {
        z = 1;
    }

    return 0;
}
