My assumption is that something in ABC's

fraig_restore

does not like this size of design, but for now it's probably best to just pick a different synthesis script