#include <assert.h>
#include "simulation.h"
#include "shortcircuit.h"
#include "oderobot.h"
#include "primitive.h"
forward declarations