Added syntax and semantic verifiers.