Updated the BoolList_Valid_2 c code, translated from WyIL code.