defines local.flush() to remove all stubs