renamed assertion.d file