lcp@1187: Inductive = Gfp + Prod + Sum lcp@1187: