Remove foralls with empty variable list