added two new helper classes and added a bar counter for mip analysis