lab4b complete with cfg's and ecfg's checked