   N31 (GROUND (1 1 -1))
   Alts: BUCKET-EXCAVATE (1 1 -1) 1 2 EXC-SUB-1 BUCKET-EXC-1 DUMP-TRUCK-1

 ...Done: BUCKET-EXCAVATE (1 1 -1) 1 2 EXC-SUB-1 BUCKET-EXC-1 DUMP-TRUCK-1

 N32 (DONE)
 Alts: *FINISH*

   N33 (GROUND (1 1 -2))
   Alts: BUCKET-EXCAVATE (1 1 -2) 2 3 EXC-SUB-1 BUCKET-EXC-1 DUMP-TRUCK-1 [2-12]

      N34 (SOLID (1 1 -2))
      Alts: INFER-SOLID (1 1 -2)

   ...Done: INFER-SOLID (1 1 -2)
WARNING: Can't find deletions in state ((SOLID (1 1 -2)))

   N35 (GROUND (1 1 -2))
   Alts: BUCKET-EXCAVATE (1 1 -2) 2 3 EXC-SUB-1 BUCKET-EXC-1 DUMP-TRUCK-1 [2-4]

 ...Done: BUCKET-EXCAVATE (1 1 -2) 2 3 EXC-SUB-1 BUCKET-EXC-1 DUMP-TRUCK-1

 N36 (DONE)
 Alts: *FINISH*

   N37 (GROUND (1 1 -1))
   Alts: BUCKET-EXCAVATE (1 1 -1) 3 4 EXC-SUB-1 BUCKET-EXC-1 DUMP-TRUCK-1 [2-11]

      N38 (SOLID (1 1 -1))
      There are no relevant alts for this node!
-------------------------------------------------



AFTER ADDING SC-RULE:

