Merge branch 'origin/assistant-rewrite'
Merge branch 'origin/assistant-rewrite'
Small changes for better code look.
Merge branch 'assistant-rewrite' of ssh://git.code.sf.net/p/overture/code into assistant-rewrite
create SeqTypeFinder visitor
Unfold 2nd level visitors MapBasisChecher, MapTypeFinder.
visitor SeqTypeFinder.
Unfold 2nd level SeqTypeFinder
Visitor SeqBasisChecker
Unfolding 2nd level SeqBasisChecker.
new visitor OperationTypeFinder
some clean up
unfolding 2nd level OperationTypeFinder
new visitor OperationBasisChecker
new visitor SetBasisChecker
Re-introduced operation post condition obligation in PogParamDefinitionVisitor for implicit operations to make pog-string-based tests pass (this is how VDMJ does this). This is, however, not really needed since this is already captured by the satisfiability obligation and thus it is redundant.
Merge branch 'origin/kel/astv2'
Merge branch 'origin/kel/astv2'
Merge branch 'origin/kel/astv2'
Merge branch 'origin/assistant-rewrite'
2nd Level unfold SetBasisChecker.
new visitor SetTypeFinder
1st level of new visitor RecordTypeFinder.