fix pattern in scpcf's havoc rule + fix implementation of `/`
Merge pull request #17 from philnguyen/fix-havoc-and-div

fix pattern in scpcf's havoc rule + fix implementation of `/`