Revert "Revert "in progress: state table generation; can store present state and input variables only, currently evaluating the flipflop input functions;""

This reverts commit 2de8beec2262f0d189f0cfdea8695ca27f797660.