added a test of nonvar/1