Revert "Pointer: add more patterns to modifies_substruct_1"
Revert "Pointer: add more patterns to modifies_substruct_1"

This reverts commit f2f8daa2ac84338304c79b8a501af4ff85daba6e.

FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar