Btor

Using Splice command in the script.
Added concat and slice cell translation.