switchs1.js is passing for symbolic2