replace raw strings with Sat_Syntax types