SSI

There is a file with file names of files with states of variables from parent scopes.

The algorithm will delete unused variables in future lines of a predicate as soon as they become unused.