Bug fix for constants in background knowledge.