Symbolic_simulation loading ...