Minor improvements and bug fixes (wrong calculations of branch coverage);