BUG: Propagação de clausulas não considera clausulas pertencentes a view
Na remoção de clausulas não cobertas, não é considerado que a view já pode conter a clausula, dessa forma dimensões desnecessaŕias podem ser mantidas desnecessáriamente.
Na remoção de clausulas não cobertas, não é considerado que a view já pode conter a clausula, dessa forma dimensões desnecessaŕias podem ser mantidas desnecessáriamente.