function generateVerificationScenarios input TypeName path; output Boolean success; end generateVerificationScenarios;