make Boolean term conversion partially non-recursive (resolves bug 501)