Discovering State Constraints in DISCOPLAN: Some New Results