searching a way to add a new out
Adding some statics of verification
Merge commit 'deb6e1bb96640ff27379344bb8f332b2d6573a5e'

Conflicts:
	src/main/java/br/ufrn/forall/b2asm/bintegration/core/Report.java
	src/test/java/br/ufrn/forall/b2asm/bintegration/pos/POsTest.java