Parser error: token then, in sample12.bc line 7,12
