Simplified code
Added strtok and assert to std.cfg
Use information about pure/leak-ignore from library to improve accuracy of several bailouts