First cut at adding supervision to depsolver