Tool for computing a program's state space reachability diameter