Detects whether there are two declarations in the P4-14 program with the same name and for the same kind of object.