alternatives before prune:
Cost ( 0, 0, 0 ): Applying untyped: 
    Name: LabAddress
...to: 
    Name: c
(types:
)
Environment: 

there are 1 alternatives before elimination
there are 1 alternatives after elimination
Segmentation fault (core dumped)