an example on using HHL prover