[owise] seems not working

[kheradmand]

I have the following

syntax KItem /* Bool */ ::= "@match" "(" K /* KResult */ "," K /* KResult */ "," FieldMatchType  ")" [strict(1,2)]
rule @match(@val(V,W,S),@val(V,W,S),exact) => true 
rule @match(_:Val,_:Val,exact) => false       [owise]

The execution gets to this point

<k> @match ( @val ( 279611477 , 48 , false ) , @val ( 279611477 , 48 , false ) , exact ) ~> ...

The result is false. But if I comment the second rule, the result becomes true, so I guess [owise] is not working properly.

[omarzd]

Are you saying that your example should be true but is evaluating to false?
I recommend that you try this with simpler syntax. We need a minimal example.