Create BasicFsmT.h