Call IsTriviallyInvalid only on i1
Change env name for quantifiers
Forgot to add the files