Work on terms extraction started. Mocks and application of global functions are implemented so far.