Error message when duplicate constant name with different type

[pellierd]

Suppose a domain as follow:

(define (domain dom) (:requirements :strips :typing) (:types t1 t2) (:predicates (p ?x - t1) ) ..... )

and a problem: (define (problem pb) (domain dom) (:objects O - t1 o - t2) (:init (p o)) ..... )

The parser will says undefined predicates p/1. It would better if the parser checks the unicity of the constants for each type and writes an appropriate message.