class PropCheck::Errors::UserError