clean up some admits about [ptsto_subset] in BasicProg.v
clean up some admits about [ptsto_subset] in BasicProg.v

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl