resynthesize when unrealizable spec init condition changes