Change output (“This is a non deterministic LTS”) to say what process was checked.
Make it always check the current composite process.
Make it compile the defualt composite process if there is none selected.
