simplify ev3 tactic