util.analyzers
Case clas for subsitution analysis with pure SMT exploration (ie without the interpreter)
the AST node substitution
the current configuration analyser
cache containgin already analysed component
Case clas for subsitution analysis with pure SMT exploration (ie without the interpreter)