Remove incorrect assume call