util.analyzers
Case class encoding substitution variables
the targeted instance
the corresponding Z3 variable
the sort of the Z3 varaible
Case class encoding substitution variables
the targeted instance
the corresponding Z3 variable
the sort of the Z3 varaible