Merge in func_def abstraction