Improving the static analysis of embedded languages via partial evaluation