Changes

Summary

1. Correct check of function parameter patterns and arguments, fixes #762 (commit: 656ece8) (details)

Commit 656ece8aa7d9bbcdb9c1c5168169e64f997ee5ad by nick.battle Correct check of function parameter patterns and arguments, fixes #762 (commit: 656ece8)
	core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.java