fixed bug 502; now the core bv solver only gives the model for variables and shared terms.