remove lexmap from assertion