Debugging optimized code via tailoring

This work would like to have no restrictions on the debugging capabilities and optimization, and at the same time, respond to all debugging requests as expected, where expected responses during execution of an optimized program are the same as the responses for an unoptimized version of the same program.