Process coverability graph using explorer utils