class Fixpoint::Error