Add missing kernel fact
Merge pull request #827 from mhaskel/strict_variable_fix

Add missing kernel fact