add {Pre} to another assumes clause and can now verify ReadThenWrite
add {Pre} to assume clauses