k-limiting number of symbolic instances