automaton with just one variable was misunderstood by SupervisorM. bug
fixed.
loads model from file. TODO: execute the model.
screen 'about' included. current state is updated. TODO: execute the
model to extract recommendations.