Removed old files and added new arg option

Old files in utils was removed and the option -i was added to insert claims in the analyzed java file

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