tosem: Add stub for updated TOSEM12 operator