Updated code to deal with void/null/bottom/identifiableobject name changes
Updated tests for := -> =
More := to = in tests
AbstractTransformer: exhausted -> finished
Started updating some tests for bottom -> nothing