Rename test file
Add elem/2 and not_elem/2