fprop_global_destroy
void fprop_global_destroy(struct fprop_global *p);
fprop_global_destroy(&dom->completions);