Bachelor's Thesis code submission

[radwasherif]

Contains:

• AssumptionController which runs the analysis, JSON read/write and input checking
• The JSONHandler and InputChecker themselves
• The Octagon Domain
• The Character Inclusion Domain

To run on a code file "x.py" with input data file "y.in" do:
AssumptionController(X, Y).main(), where X = path to "x.py" and Y = path to "y.in"

If path to Y is none, the input checker automatically checks the file "x.in" in the same directory as "x.py".