Small updates
Fixes a bug when using ancestors of entities in predicates arguments

For example, it was not possible to have a predicate defined over
Vehicle and using a FireVehicle (which is a child of Vehicle) as actual
parameter. This is now fixed :-)