Assumption depth graph fixed