updated reducedinference to support new visitors
added missing include
added explicit visitors which provide direct interfaces for value and
bound
updated trwsi and adsal to support new visitors
Merge pull request #195 from stopfer/RC-2.3

refactoring for new visitor