fixed production of backward links from forward links + a better size
bound for the collection of fillers of stored negative propagations