Change name ReasoningFasade -> ReasoningFacade
add logger to Query classes
add "add concatenation of expressions
add Fluent constructors
add methods for adding new fluent to the state
implementing "add first level" method in tree