Added error state for field access and regrouped the lazy machine.