Added doxygen support to VeriModule