Added new version of EM whose subsequent grammars are independent of previous grammars conditioned on the programs in the frontier