changed iterator's domain from Term map to Logical Source