The wrap program does not encode variables and constants. NOTE: Nessus has not performed this check. Please review the benchmark to ensure target compliance.as manual verification is required to determine if the wrap program does not encode variables and constraints.