what4-1.6: Solver-agnostic symbolic values support for issuing queries

Index - =

==>Test.Verification