Fix consistency

util.c

@@ -110,14 +110,14 @@ cons_cell* create_elim_operator(cons_cell* ra1, cons_cell* ra2) {
 	return operator_cons;
 }
 
-cons_cell* create_spcol_operator(cons_cell* var, cons_cell* pf) {
+cons_cell* create_spcol(cons_cell* var, cons_cell* pf) {
 	cons_cell* pf_cons = create_cons_cell(pf, NULL);
 	cons_cell* var_cons = create_cons_cell(var, pf);
 	char operator[5] = "SPCOL";
 	cons_cell* operator_cons = create_cons_cell_w_atom(operator, var);
 }
 
-cons_cell* create_pf_operator(cons_cell* attr, cons_cell* next_attr) {
+cons_cell* create_pf(cons_cell* attr, cons_cell* next_attr) {
 	cons_cell* attr_cons = create_cons_cell(attr, next_attr);
 	char operator[2] = "PF";
 	cons_cell* operator_cons = create_cons_cell_w_atom(operator, attr_cons);
@@ -149,7 +149,7 @@ cons_cell* create_attr(char *attr) {
 
 cons_cell* create_var(char *var) {
 	cons_cell* var_cons = create_cons_cell_w_atom(var, NULL);
-	char operator[4] = "var";
+	char operator[3] = "var";
 	return create_cons_cell_w_atom(operator, var_cons);
 }