let remove_useless_procedures = ref true