statement templates constraints