Update exception assert for hvvm