Fix bug preventing truth trees from being filled properly