Fixed compilation problem when using operations inside fact arguments.