Removed FormulaContext

Removed necessity for separate 'FormulaContext' object.
List of all literals now get stored in 'Formula' object.
Updated tests

- Updated code
- Added one more test
- Do every test 10 times