let
remove_useless_procedures = ref
true