adding verification theories to be run with razor.