Added an optional parameter to the cl_coverability_graph module to choose between coverability, reachability or to force reachability.