Delete statetransition.h