β-normal じゃない例か
xM (M は簡約基を含む項)