Validators

TCFrame provides several validators, which can be used to validate the I/O variables in problem spec.