1) corrected a bug in the initialization of bad locations 2) added print of symbolic state space 3) now, a discrete variable can be updated in an edge