Adjust fixed mode and add new stlc counterexamples