Table cics_command

predicate cics_command(@cics id, int idx, string command)