Rename fsm_interpretation4.py to b_fsm_interpretation4.py