chore(builtin/basic): simplify UnfoldExists2 proof

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(builtin/basic): simplify UnfoldExists2 proof