Adding RplInclusion Constraints to Symbol Table