expander, coverage for prov expressions