added TODO for TestFSMRef