Added the comparsion of discrete variables in "contains" method of the symbolic state.