lowering → util Relation

File in src/solvers/lowering	Includes file in src/util
functions.cpp	std_expr.h
functions.h	mathematical_expr.h