Panic: invalid memory address or nil pointer dereference on typing a TFF1 problem / TFF1 proof search is not handled

[jrosain]

When launching Goéland on SYN000_3.p, we get the following error:

panic: runtime error: invalid memory address or nil pointer dereference
[signal SIGSEGV: segmentation violation code=0x1 addr=0x0 pc=0x6893cd]

goroutine 1 [running]:
github.com/GoelandProver/Goeland/Typing.selectSequents({0xc0001f9a90, 0x2, 0xae32e0?}, 0x0?)
	/home/johann/dev/Goeland/src/Typing/launch_rules.go:122 +0x28d
github.com/GoelandProver/Goeland/Typing.launchChildren({0xc000226000, 0x2, 0xc00011dc20?}, 0xc0002194b8, 0xc00010e2a0)
	/home/johann/dev/Goeland/src/Typing/launch_rules.go:90 +0x6ec
github.com/GoelandProver/Goeland/Typing.applySymRule({{{0xc0001f7700, 0x5, 0x5}, {0xc0001ff6a0, 0x2, 0x2}, 0x0, 0xc000220b10, 0xc000220b40}, {{0x0, ...}, ...}, ...}, ...)
	/home/johann/dev/Goeland/src/Typing/type_rules.go:160 +0x7b8
github.com/GoelandProver/Goeland/Typing.incrementalVerificationOfGlobalContext({{0xc0001f7700, 0x5, 0x5}, {0xc0001ff6a0, 0x2, 0x2}, 0x0, 0xc000220b10, 0xc000220b40}, {0xc0001288c0, ...}, ...)
	/home/johann/dev/Goeland/src/Typing/contexts.go:320 +0x225
github.com/GoelandProver/Goeland/Typing.createGlobalContext(0xc0002206f0)
	/home/johann/dev/Goeland/src/Typing/contexts.go:286 +0xcc5
github.com/GoelandProver/Goeland/Typing.WellFormedVerification({0x859f40, 0xc0001f3800}, 0x0)
	/home/johann/dev/Goeland/src/Typing/rules.go:102 +0xc5
main.checkForTypedProof({0x859f40, 0xc0001f3800})
	/home/johann/dev/Goeland/src/main.go:321 +0x3f
main.presearchLoader()
	/home/johann/dev/Goeland/src/main.go:149 +0x345
main.main()
	/home/johann/dev/Goeland/src/main.go:74 +0x3f

[jrosain]

Goéland now understands that the formula is well typed, but says "Typed search not handled yet".