reformat code
add first version of uninitialized variables analysis
add uninitialized variable test to frontend; add some code for debugging; test cases do not work yet
first version of uninitialized variable is working now; add parameter --uninitializedvariable to frontend
rename refactoring uninitialzedvariable -> uninitializedmemory