Fixed Instance firstMatch, no more segmentation fault error but still
grounding not working in case of anonymus variables
Added in test a program not working