Completed the assertion language except for first order connectives and quantifiers. Extended state.ph with a normal heap.