Add possibility to filter one variable constraints based on Lincons0
Add possibility to filter one variable constraints based on Lincons0

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer