tosem: Add concretizations generation to TOSEM12