check that neither puts nor calls is none