Allow intent in the assumptions of a problem