Defend against SLURP-parsable spec lines that don't generate any LTL.