Support lacing strategy on Formula node

Move AppendReplicationGuides() to base class; enable lacing strategy on Formula node; add test case.