version 5.2.1. Fixed bug preventing matching of a variable slot in a pattern with an undefined slot in a fact