iswellformed function

Well-formedness, Myhill's property, and/or moment of symmetry