Removed redundant states in ProtoStar and StmtStar