public override Stream <ActiveLock> ActiveLocks() { return(Stream.concat(@explicit.ActiveLocks(), @implicit.ActiveLocks())); }