2.7.3 be to + infinitive in if clauses