Changed dependency from 'blist' package to 'sortedcontainers', and advances in new reasoning methods.