- BugFix: don't create a Sync, if the memory predecessor of a Div node