let prop_mk_var = Prop.mk_var