Support modeling fields
Robustness++ of emulator runs
Support for comments in Z3, some cleanup
Object generation FTW