Update test-cases.lsp

Add ffinfer test