Appendix for RedAlert: Determinacy Inference for Prolog