Restructuring of the Refinement Relation Processing Module

[zhanghongce]

Describe your feature request.

• Separate refinement relation parsing & error checking from property generation.
• Add expression parsing functionality so that in the future we can easily extend it to support more syntactic sugar in the expression for auto-monitor-geneneration.