code: function krillPrimPrintCStyle(pred)
  {
  	var sanityCheckResult = sanityCheck(pred);
  	var key = sanityCheckResult.key;
  	var nbKeys = sanityCheckResult.nbKeys;
  
  	if (nbKeys === 0)
  		return ('1');
  
  	return (krillOps[key].printCStyle(pred, key));
  }
docs: /*
  This is the generic entry point to begin parsing an individual predicate.
  This is responsible for determining the key and dispatching to the correct
  function.
  
  Inputs:
  - pred: The predicate to be printed
  
  Output:
  - Returns the string representation of the specified predicate as a C
  statement.