Add More Tests (of Function Constraints and duplicate outputs)

@sorenmacbeth, @Quantisan, @ipostelnik; can you guys take a look? I want to start getting back into the proper pull request mode on this project, now that my crazy changes are all merged.