of S2 FB_TWOHAND_1 t [...] 1 and S2 FB_EDM2 t [...] open) S1_2 SAFEBOOL
_AND with SAFE variables: S1_1, S1_2 and O_K1_K2