mettalog doesnt evaluate with nested match

[drspro]

; probably collapse add
; (sudoku_board 9 7 9 7 )
; (sudoku_puzzle_state 1 1 5 )

(= (sudoku_quad_num $rowx $colx)
(match &self ( sudoku_board $rowx $colx $quadn $nothing )
$quadn ) )

(= (get_quad_stateyz $quadn)
(match &self ( sudoku_puzzle_state $row $colx $state ) (
(if (and (> $state 0) (== (sudoku_quad_num $row $colx) $quadn ) )
(cell_xstate $row $colx $state)
(empty)
) ) )
)

[TeamSPoon]

can you supply a small case to reproduce the bug?

(sudoku_board 9 7 9 7 )
(sudoku_puzzle_state 1 1 5 )

(= (sudoku_quad_num $rowx $colx)
(match &self ( sudoku_board $rowx $colx $quadn $nothing )
$quadn ) )

(= (get_quad_stateyz $quadn)
    (match &self ( sudoku_puzzle_state $row $colx $state ) (
    (if (and (> $state 0) (== (sudoku_quad_num $row $colx) $quadn ) )
    (cell_xstate $row $colx $state)
    (empty)) ) )
    ```
    
is missing   `cell_xstate`

and what would bre the query to try?


    

[drspro]

Im finding the code because i changed it since, i thought i added the whole file,

[drspro]

I have just tested it also, it works in hyperon but not in mettalog, this is the smallest example for that nested match
sudoku_nest_match.zip