missing CPF output for R-producing loop (#500) · Issues · waldmann / Matchbox SRS Termination