Changes

Summary

1. Fix the type definitions for pre and post conditions, fixes #740 (details)

Commit e5b2e9f44de2909f4dfcdcb16b8c5c6bd60b1c0b by nick.battle Fix the type definitions for pre and post conditions, fixes #740
	core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitFunctionDefinitionAssistantTC.java (diff)