Add index2term to pyeda package