this one is very similar to add_loc_node except that
we want to accumulate the nodes (exact = false) but nonetheless
define under_outputs like (exact = true)
The following fold_* functions, as well as Lmap_bitwise.Location_map_bitwise.map2 take arguments
of type map to force their user to handle the cases Top and Bottom
explicitly.
use both translate_in_marks and call_out_marks_to_called
to translate the information provided by mark_and_propagate
info selection on other functions.