Moved test of conversion from logic to xsl to LogicTest.
Changed Machine to use Logic.