query locateFacts( int v )
$f: Fact( v: val ) ### this should cause a compile-time error
end

rule findFact
when
Fact( $k: key, $k: name ) ### this should cause a compile-time error
then
end