Better use of sessions in test_crash. Fix #11