Merge pull request #131 from chsticksel/develop

Added Mingyu's changes
Merge pull request #132 from chsticksel/develop

Expose topmost predicate definition in transSys
Merge pull request #133 from chsticksel/develop

Add pretty-printing of value
Merge pull request #134 from chsticksel/develop

Add pretty-printing of value
Merge pull request #135 from chsticksel/develop

Delay instead of assertion failure on unsat core
Merge pull request #136 from chsticksel/develop

Don't slice to COI when no properties given
Merge pull request #137 from chsticksel/develop

Need to reverse list of nodes after COI slicing
Merge pull request #138 from chsticksel/develop

Refactored web service
Merge remote-tracking branch 'upstream/develop' into develop