[m-dev.] may_introduce_calls

[Zoltan Somogyi]

At the moment three modules contain tables of predicates
that the compiler may introduce calls to: try_expand, daio,
and simplify_proc. The first two list only predicates that
their own modules can introduce calls to, but the table
in simplify_proc lists other predicates as well.

I intend to consolidate all these tables into one table,
in a new module, because it is easier to check whether
an entry appears in one table than whether it appears in three
(or, later, four, five etc) Does anyone object? And if not,
do you have any preferences as to the name of this
new module? The name do_not_delete_preds.m
would be more accurate than may_introduce_calls_to.m,
but I don't really like either one.

Zoltan.