Return false when flattener cannot parse an option as an input file
Return false when flattener cannot parse an option as an input file

jjdekker/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc