Tools for A'-Search Analysis and Reach Calculation