More precise extraction of assertion instead of assuming it from position.