Towards rest of testing of terminating instructions