Correct transitive closure definitions of ingred, strong_ingred, and occur