to-c: if statements
fixed typos in test programs