Adding assertzTermProlog auxiliary function.
Added assertzProlog to Parameter vector to generate rgn_param facts (assertions) for Prolog
Looks like my editor removed whitespace from this file (and the I added some manually! XD)
Looks like my editor removed some whitespace... again... :)
Fixed dangling pointer bug, and duplicate esi constraint in SymbolTable bug.
Also did some refactoring to improve code but more is needed...
Major refactoring and bug-fixing of function solveInclusionConstraints()
Removed end-of-line from warning string.
Modified point.cpp test to match the new expected output.