Added mining of unknown program transformations.

This required generalizing the mining infrastructure a little bit more.

The current implementation is not scalable.