* h_program-lang/graph_code_database.ml: optimize, mk_eff_use_pred
=> from 180s on epriestley codebase to 1s