Status: UNDETERMINED\
Description: "assertion failed: x == 5"
Status: FAILURE\
Description: "Function `missing_function` with missing definition is unreachable"
VERIFICATION:- FAILED