added own testlib, fixed bug in resolving-loop