Simulation relation computation

Some adjustments
BDD compare operator
Getters, setters
Functions for simulation computation
Explicit simulation seems to work
Symbolic simulation has questionable behavior
Operations still needs optimalization