Alternate lemmas can now contain additional flags.