Sound and Complete Causal Identification with Latent Variables Given Local Background Knowledge