well-formedness test added