More flexible placement of conditions, random ranges supported, basic conditions supported, dropped labels for statement types