Compares the prolog in FunctionSpecification against the one in the function buffer. The function buffer is expected to contain the code from offset 0.
source not stored for this graph (policy: none)
no test coverage detected