fixed z3 synthesis bug where nothing could travel between nodes