// 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));
}
