added for statement verifiers