There is no warning or error when the initial state or goal contains atoms with wrongly-typed objects. Adding such a check would prevent some unintended inputs.

For example, if you add '(served f1)' to the initial state or goal of s1-1.pddl from the miconic-simpleadl benchmark, Fast Downward should complain that predicate served takes only objects of type passenger and not of type floor (which is the type of f1).