added backward graph covering