This page contains a summary of mistakes we made and issues that we encountered when trying to implement global inference

Accumulating Constraints

Method Overloading

Solving Constraints

Scoping