np ZK.JSChecker.Proof: Fix imports