Rename sema.sh to Aig2eiyiAig2eiyi.sh