PROBCORE-404 v 1.0.1 

Created Xml visitors for Machines and Contexts that are very fast.

Created basic skeleton for Theory Translator as well.