求翻译：First, a global analysis system calculates at compile-time the time-complexity of a potentially parallel goal, generally approximated by the number of reductions performed to solve the goal.是什么意思？