Specification Generation:
- Function Declarations
- Function Definitions
- Axioms (must be improved)