(Promela) Made the backend use the instanciate actors, this was needed as different instances of the same actor may be transformed differently