Added test case for Signature.
Merge branch 'master' of https://github.com/glipari/forts
Added a test case for Box_Widened_Symbolic_State.