modified:   construction.py bugfix in recursive call of discover_deep_cases
modified:   construction.py
bugfix in recursive call of discover_deep_cases

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