`if self.exp is S.Half:`