added some terms to gnr_resolve, closes #248