added resynthesize when unsynthesizable from spec