Ast with logic variable as type does not return all possible results

[ReinoutStevens]

The following code returns the symbols of the concrete classes of a node, but does not include the parent classes:

(l/run* [?type] (l/fresh [?node] (reification/ast ?type ?node)))

As a result we are missing solutions, eg:

(l/run* [?type] (l/fresh [?node] (reification/ast :ASTNode ?node)))

This leads to problems when you write the following code:

(l/run* [?type] 
    (l/fresh [?a-node ?another-node]
             (reification/ast ?type ?a-node)
             (reification/ast ?type ?another-node)))

It is missing solutions, eg:

(l/run* [?type] 
       (l/fresh [?a-node ?another-node]
                (reification/ast :ASTNode ?a-node)
                (reification/ast :ASTNode ?another-node)))