Fixed error when comparing empty lists in patterns
Added a bunch of failure tests for unique pattern lists among multiple function declarations
Merge branch 'code' of github.com:kyzhai/SMURF into code