// Is this command "call assert_proc()" public bool isAssertCmd(Cmd cmd) { return(BoogieUtil.checkIsCall(assertNotReachableName, cmd)); }
// Is this command "call getThreadID()" public bool isGetThreadID(Cmd cmd) { return(BoogieUtil.checkIsCall(getThreadIDName, cmd)); }
// Is this command "call atomic_end()" public bool isAtomicEnd(Cmd cmd) { return(BoogieUtil.checkIsCall(atomicEndProcName, cmd)); }