Recursive descent translation program design for double-branch conditional statements