update schonfinkelize.js