// 0 inline variable x at ("test/cases/small/constant.c": line 1)
// 0 inline variable y at ("test/cases/small/constant.c": line 4)
// 0 remove statement at ("test/cases/small/constant.c": line 5)
// 0 replace by zero at ("test/cases/small/constant.c": line 5)
// 0 reduce to left at ("test/cases/small/constant.c": line 5)
// 0 reduce to right at ("test/cases/small/constant.c": line 5)

int x = 10;
int main()
{
    int y = 25;
    return x + y;
}