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