fixing bug with verification of answer tuples in answer patterns with anonymous variables