Closed #2 integrated and implemented vfit to be able to use use coveriteam for injection and verification. moving to next phase: running Coccinelle on Vcloud and evaluation of results.