Prepared GenerateCheckingNonCaptures