AND Parallelism in Connection Graph Proof Procedure