Ignored vs Assumed Semantics in BDE

Assumed vs ignored contract-checking semantics in BDE

Note: Functions that repeat in different test drivers with the same generated code have been omitted for brevity.

• List of affected functions
• List of affected tests