Add failing test. Seems to refute CTYP-21.