Remove extraneous assume definition.