class Cda::Precondition