Lace error: Visible clause lists non-existent class.
What to do: make sure that all class names in Visible clause
  are those of classes in the system.