package Sequenic.T2ext.Instrumenter; public class SimpleTargetClass0 { public void foo(int x){ if (x>0) x-- ; else x++ ; } static public void main(String[] args){ SimpleTargetClass0 X = new SimpleTargetClass0() ; Sensor.resetSensor() ; X.foo(1) ; X.foo(-1) ; Sensor.simplePrint() ; } }