// This method initializes the table with input signatures
private void initSigTable() {
sigTable.put(factory.parse("rec-terminate(<logger>,<term>)"), new Boolean(true));
sigTable.put(factory.parse("rec-monitor(<logger>,<term>)"), new Boolean(true));
}
