Contains classes for computing the specification of a program.

This package is responsible for the inverse process of inferring the specification of a program from its source code.