Merge "Add a new test to check exceptions with GAbi++"