minimal sequent conditional scripts loader