public static void hypothesizeLambda(GrammarEnvironment env, Grammar g) {
		LambdaProductionRemover remover = new LambdaProductionRemover();
		Set lambdaDerivers = remover.getCompleteLambdaSet(g);
	    if (lambdaDerivers.contains(g.getStartVariable())) {
			JOptionPane.showMessageDialog(env,
					"WARNING : The start variable derives lambda.\n"
							+ "New Grammar will not produce lambda String.",
					"Start Derives Lambda", JOptionPane.ERROR_MESSAGE);
		} 
		if (lambdaDerivers.size() > 0) {
			LambdaPane lp = new LambdaPane(env, g);
			env.add(lp, "Lambda Removal", new CriticalTag() {
			});
			env.setActive(lp);
			return;
		}
		hypothesizeUnit(env, g);
	}