(expr-size expr), (expr-operators expr), (a-program-of-size size allowed-operators)