eliminate 'condProg' (unused)