Added support to check invariants that adopt FORALL clause

It was create the translation to BMC_CHECK for FORALL clause, and it was removed unnecessary files.

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