Initial implementation of C-source-level &&-idiom recovery