3SAT-Parser: less specific iselectmatch-pattern, fixing a problem.