in recursive argument discovery, return if next machine has already been traversed. default to NOM case if deep case not mapped
in recursive argument discovery, return if next machine has already been traversed. default to NOM case if deep case not mapped

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