Rename Inference Procedures 2 to InferProcs/Inference Procedures 2