Added well-formedness constraints for Caja examples.