Fix evaluation of "Before C" condition of FINAL_SIGMA.