Add strict parameters FOR <quantifier.sh>