# ToDos

* Recursively analyze function calls in condition
    //not needed, will be implemented using other feature
* Derive context automatically

##Hand-in
* tag in git
* slides as pdf