Z Notation Generator from an ERD