readme reachability example
initial query interfaces and test cases
refactoring solver towards query support
first boolean quries running with dlv