Changes

Summary

1. Put let RHS functional checks within -strict flag (commit: 8791e1f) (details)

Commit 8791e1ff56bad2f3d81de19a0e309c5766f1c5dd by nick.battle Put let RHS functional checks within -strict flag (commit: 8791e1f)
	core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java
	core/ast/src/main/java/org/overture/ast/factory/AstFactory.java
	core/typechecker/src/main/java/org/overture/typechecker/FlatEnvironment.java
	core/typechecker/src/main/java/org/overture/typechecker/Environment.java
	core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java
	core/ast/src/main/resources/overtureII.astv2
	core/parser/src/main/java/org/overture/parser/syntax/StatementReader.java
	core/pog/src/main/java/org/overture/pog/visitors/PogParamStmVisitor.java
	core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java
	core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java