modified btor synthesis script for correct use of splice command.