Close reasoner in Lazy Inference