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
========================================
====================================================