GDS crashes when justification with empty LHS is created

[GoogleCodeExporter]

sp {propose*operator
   (state <s> ^superstate nil)
-->
   (<s> ^operator <op> +)
}

sp {value*superstate
   :o-support
   (state <s> ^superstate { <ss> <> nil })
#   (<ss> ^operator <o> +)
-->
   (<ss> ^value 42)
}

These two rules are sufficient to crash Soar, unless the commented line in the 
second rule is uncommented:

**** Wanted to create a GDS for a WME level different from the instantiation 
level.....Big problems....exiting....****

Soar cannot recover from this error. 
You will have to restart Soar to run an agent.
Data is still available for inspection, but may be corrupt.
If a log was open, it has been closed for safety.TestCLI: 
SoarKernel/src/init_soar.cpp:110: void abort_with_fatal_error(agent*, const 
char*): Assertion `false' failed.
     2:    ==>S: S3 (operator no-change)Aborted

Original issue reported on code.google.com by baz...@gmail.com on 15 Mar 2012 at 9:13

[GoogleCodeExporter]

The second rule, by itself, is sufficient to generate the crash.  It will crash 
in a state no-chance.

Original comment by baz...@gmail.com on 16 Mar 2012 at 2:33

• Added labels: Priority-High
• Removed labels: Priority-Medium

[GoogleCodeExporter]

Fixed by check-in r13997     

Original comment by maz...@gmail.com on 9 Jun 2014 at 1:24

• Changed state: Fixed