A method and arrangement in a mobile terminal such as a UE for selecting a transport format for an uplink transmission to a base station, wherein the selector selects a transport format from a set of transport formats which are generated based upon parameters of a radio connection established with the base station. The abstract interpretation includes using a plurality of abstract interpretation models based on the constraints of the test case and over-approximating the constraints of the test case. At least one punch through suppression region is disposed under the gate between the screening region and the well. When performing a plurality of ignitions during the compression stroke in the cylinder, before main ignition to start firing and burning at proper timing depending on operating conditions of the engine, preliminary pre-ignition is performed to form a fire seed around the spark plug.