Predecessors are now automatically found