Perfectioned analyser and test1.sol.

Fixed some bugs in the analyser code and fixed some error messages.
Also fixed some parts of the tester file, because it has semantic
errors.
(─‿─)