Added code to compute potential release sets. This can be used to avoid resolving...