Statistics of Preface for the special issue of the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018)