Add assumptions of analyses