Allow pre-condition instances to define symbol
pre_condition_failed returns wrapped object
Up version