PosInfoProp: evalNT∘setNilAt.