An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance