Machines, systems and methods for distinguishing feasible paths in a program by statically tracking one or more execution paths are provided. The active matrix includes a plurality of common electrodes, scan lines, and data lines. A second rotating torque-transferring mechanism is disposed along a second torque path and is coupled to the input independent of the first torque-transferring mechanism.