Relational Reasoning via SMT Solving, Encode Alloy example, Filesystem in Z3

[ferhaterata]

Encode FileSystem Abstraction in Alloy and SMTLIB (using Z3) based on the rules defined in the following papers:

Relational Reasoning via SMT Solving - paper.pdf
Relational Reasoning via SMT Solving - slide.pdf

@harunuyar