Implement Nelson-Oppen resolving procedure - [ ] New expression parser - [ ]
Implement Nelson-Oppen resolving procedure