Migrating a project from Z3 to Z4 is a straight forward tasks and most parts of the program do not need any changes.