fix(frontends/lean/parser): bug when applying tactics to synthesize remaining meta-variables

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(tests/lean/sig2): remove unnecessary parenthesis from test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(tests/lean/sig2): remove unnecessary parenthesis from test