added API in the C runtime and the Java binding for checking whether a given function is linearizable in a given language. This is used in the Android UI for better vizualizations

src/runtime/c/pgf/pgf.c

@@ -158,3 +158,11 @@ pgf_print_name(PgfConcr* concr, PgfCId id)
 		name = id;
 	return name;
 }
+
+bool
+pgf_has_linearization(PgfConcr* concr, PgfCId id)
+{
+	PgfCncOverloadMap* overl_table =
+		gu_map_get(concr->fun_indices, id, PgfCncOverloadMap*);
+	return (overl_table != NULL);
+}