Right now, we evaluate ground functions that appear on the right-hand side of a rule during the kompilation process. However, there are certain functions we would like to exclude.