convertor tests passing again
KORE integration test! :-)

take textual full K outer definition ( with KAST inner)
->
KIL outer + bubbles
->
KORE outer + bubble
->
parse KAST bubbles with new parser using a KORE outer definition of KAST (from kore.k)
->
complete KORE :-)