Guided abc formula added. Uses instruction tracking.