Check Property Preconditions

[DavePearce]

Preconditions have been added to property declarations. We need to add support for checking them now. This involves two things:

• Update generated procedure for checking property
• Update expression flattening to incorporate preconditions.

[DavePearce]

At this stage, I have merged what I did into main. However, there are outstanding problems with flattening them I think.