molecular dynamics evidence used in automatic assertion