static bool infer_decl(Declaration *d) {
	return true;
}