Initial, very naive, version of the BL conjecture verifier