c := a+b;
a
b
1000 ms 32 Mb Rules for program design and list of errors in automatic problem checking