(module Core_condition)