Instructions

---

Each constraints should be written in new line.

---

Enter constraints as:
1:  p=q
2:  p=q->f
3:  p=&(q->f)
4:  p=q op k
5:  p=null
6:  p->f=q
7:  p->f=null

---

For control structures follow given syntax strictly:

if(COND)
{
   //constraints;
}

---

if(COND)
{
   //constraints;
}
else
{
  //constraints;
}

---

for(INIT; COND; INC/DEC)
{
  //constraints;
}

INIT & INC/DEC should be one of the constraints from the given list.

---

while(COND)
{
  //constraints;
}

---

do
{
  //constraints;
}while(COND);
white

---