Added code to insert the assertion based on the claims

It was generated a new code with the assertion generated from the claims identified by ESC/JAVA

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