RefineZ3Covnerter.java :: add find initial marking and property places
start a new phrase