Added functions into defs lowering