Added missing Assumption class.