Join conditions on existential nodes

Fixed/added tests