give up on backward visiting for now--too much special case code being created