Refactored memoization options
Failed attempt to implement verified VC exclusion
Exclude verified postconditions