FunctionCall(__BLAST_initialize_driver2.c())
true
Block(STATUS_SUCCESS = 0;STATUS_UNSUCCESSFUL = -1;lockStatus = 0;)
true
Block(Return(0);)
true
FunctionCall(FSMLock())
true
Pred(lockStatus != 0)
true
FunctionCall(errorFn())
true