join() begin of implementation
Abstract interpretation