new reachability submodule

Signed-off-by: Ondrej Rafaj <ondrej.rafaj@fuerteint.com>