Added FSM example and --output_filter
Input with t=4 for fsm
fixes to fsm SAT input