bugfixes for creating JimpleBodies