contains() method for iteration over fillers of stored negative
propagations