Logic-based formula management strategies in an actuarial consulting system