code: def if_body_action(self, text, loc, arg):
          
          exshared.setpos(loc, text)
          if DEBUG > 0:
              print("IF_BODY:",arg)
              if DEBUG == 2: self.symtab.display()
              if DEBUG > 2: return
          #generate conditional jump (based on last compare)
          label = self.codegen.label("false{0}".format(self.false_label_number), True, False)
          self.codegen.jump(self.relexp_code, True, label)
          #generate 'true' label (executes if condition is satisfied)
          self.codegen.newline_label("true{0}".format(self.label_number), True, True)
          #save label numbers (needed for nested if/while statements)
          self.label_stack.append(self.false_label_number)
          self.label_stack.append(self.label_number)
docs: Code executed after recognising if statement's body