Concrete semantics updated to thread stores through. Transform correctly identifies recursive and abstract spaces. Abstract semantics code complete.