add compiled prove builder class