IR for statements