functx-functx-substring-before-if-contains Simple evaluation of sequence type matching involving instance of and a sequence of integers. functx-functx-substring-before-if-contains-1.txt Simple evaluation of sequence type matching involving instance of and a sequence of integers. functx-functx-substring-before-if-contains-2.txt Simple evaluation of sequence type matching involving instance of and a sequence of integers. functx-functx-substring-before-if-contains-all.txt