verbose assertions
removeFileFromOutputState: pattern matching
add DeleteBaseband key