Fixed tree to string virtual nodes and minimal rule extraction. Still slow, but functional