Better log-messages for js-prover