Bug fix in LazyARA. It also now fully supports the planner API.