Add resolvetrivials script