estimated_params: check that no symbol is declared twice in the block

Closes #296