Remove unused extra $to_check variable.
Adds a reference to the license used.
Merge branch 'patch-1' of https://github.com/claar/Verify-L4 into claar-patch1
Merge branch 'claar-patch1' into develop