from PatternMatcher.subset() is_subset variable eliminated 	modified:   matcher.py
from PatternMatcher.subset() is_subset variable eliminated
	modified:   matcher.py

Eszti/pymachine,kornai/pymachine,Eszti/pymachine,kornai/pymachine,recski/pymachine,recski/pymachine