May have found a long-standing bug in my added-to-twelf code. Still poking at simrob's regression bug.