Updating checkVarScope in the claim translator

WARNING: Map2Check-FORTES is not working. Sorry about that.

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>