Refactored Automata constructor to delegate to default. Reduces chances of having different behavior in either constructor.
Refactored Automata constructor to delegate to default. Reduces chances of having different behavior in either constructor.

Jinglei-Cheng-THU/VASim,jackwadden/VASim,jackwadden/VASim,Jinglei-Cheng-THU/VASim,Jinglei-Cheng-THU/VASim,Jinglei-Cheng-THU/VASim,jackwadden/VASim,jackwadden/VASim