Basic tests for ID assertion case