it used to be that all non-guard variables were automatically filtered from consideration by the solver.

now, by default, no variables are filtered.

it would be useful to allow the user to filter local variables, so let's introduce a new explicit filter for that. it should be easy to add a property in the right place in the parser to make this possible.

Fixed. Both LocalVariableFilter and ParameterFilter have been added.