fixed bug in retractive evidence checking