Add 'in_case_of' module