if $a=1$ then \pretzelindent{}$b:=1$\pretzeloutdent{};\pretzelforce{}if $a<=1$ then\pretzelindent{}\pretzelforce{}begin $b:=2$ end\pretzeloutdent{}\pretzelforce{}else\pretzelindent{}\pretzelforce{}$b:=a$\pretzeloutdent{}\pretzelforce{}