Unsupported Polymorphic declarations are not detected until runtime

rule X
when
$x : Foo()
or
$x : Bar()
then
...

will throw a CCE when the rule is triggered by a Bar and $x is used in the RHS