Contents:
Clean M2-ISA-R/Seal5 metamodel to .core_desc file.
Functions
main()
main
Main app entrypoint.