Implementation of rules of the G3 calculus for LLC strategy.