Sorry, it's not a segfault, it's an assertion
error. I do, however, get on if I do the following:
X←1 2 2 1 2
2 2 1 2 2 2 2 1 2 2 2 2 2 1 3
V←X ◊
(V/V)←∊≠\¨V⊂V
====================================================
SEGMENTATION FAULT
----------------------------------------
-- Stack trace at
main.cc:119
----------------------------------------
0x7fafc4a02de5
__libc_start_main
0x434b6d main
0x52059d
Workspace::immediate_execution(bool)
0x46291d
Command::process_line()
0x46181b
Command::process_line(UCS_string&)
0x46a7e8
Executable::execute_body() const
0x4df3a0
StateIndicator::run()
0x48c98a
Prefix::reduce_statements()
0x4899db
Prefix::reduce_A_ASS_B_()
0x518e5d
Value::assign_cellrefs(Value_P)
0x459dbb
Cell::init(Cell const&)
0x7fafc625cbb0
0x47978a
========================================
====================================================