Include assertions without variables