code: private ALocalDefinition pattern2DummyDef(PPattern pat)
  	{
  		ALocalDefinition r = AstFactory.newALocalDefinition(null, new LexNameToken("", "", pat.getLocation().clone()), NameScope.LOCAL, new AUnknownType());
  		return r;
  	}
docs: /*
  VarExps in the CGP need a corresponding vardef or it crashes. So we add dummy definitions to avoid the crash. The
  definition is never needed for anything.