EM now uses second reasoner for inferring latent variables.