Now State widget can show results of simulation. TODO: add flag 'already
ran' and copy initial state to solver process (see also tntnet).