let prop_mk_poslit = Prop.mk_poslit