let add_leak ~potential loc exp leaks = new_leak potential loc exp :: leaks