|| Generated Sapl file for StdStrictLists.icl || Converted Records