Add spec for lazy rules evaluation