Optimization: {
    either: Statement<{}>[];
    sloppy: Statement<{}>[];
    strict: Statement<{}>[];
}