SSTG.Core.Execution.Rules
data
Rule
reduce
isStateValForm