Added the unminimized javascript used in the coverage report, for better understanding.
Please note that none of the coverage variables are set in this code, and this code should thus be inserted (minimized) after those have been set.
Id's were uint not int
Removed obsolete code
Now with actual file 88e37b5
Merge branch 'master' into feature-symbolic