This approach of Symbolic Reachability Graph is further improved by defining static subclasses, where all elements within a same subclass have the same behaviour.