Prepping for assistant documentation.
Merge remote-tracking branch 'origin/assistant-rewrite' into ldc/afdoc
Merge remote-tracking branch 'origin/assistant-rewrite' into ldc/astntrw

Conflicts:
	core/typechecker/src/main/java/org/overture/typechecker/utilities/VariableNameCollector.java
Merge remote-tracking branch 'origin/assistant-rewrite' into ldc/astntrw

Conflicts:
	core/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java
Create new visitor CoreTraceExpander.
Finish visitor CoreTraceExpander. 2nd level unfold.
new visitor TermTraceExpander.
Finish level 2 unfold of TermTraceExpander.
remove static keyword from method NameValuePairList.
Removing errors in relations to it.
Changes to CoreTraceExpander.
Clean up in different places.
Removed all static keyword from PPatternAssistantInterpreter.
create new visitor StatemmentExpressionFinder. 1st Level.
2nd level unfold of visitor StatementExpressionFinder.
Merge remote-tracking branch 'origin/ldc/astntrw' into assistant-rewrite

Conflicts:
	core/ast/src/main/java/org/overture/ast/assistant/AstAssistantFactory.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeFinder.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/VariableNameCollector.java