Create shrink-logical-expressions.pl