probability_stlc
