Constant PROOF_STEP_NAME

pub const PROOF_STEP_NAME: &'static str = "data-ftml-stepname";