preliminary support for theories in disprover