Filter terms before logging
Now logging only terms that are useful (i.e. contraints that involve symbolic values)