Insert additional checks so that impossible, or just unimplemented, local control flow raises an error in CFA.