struct operators;
struct scope;

struct simplifications* new_simplifications(
    const struct operators* operators,
    const struct scope* scope);