Updates CLI for exporting model (and not goal model only)
Exports predicates