fixed issues with tests for satisfies parsing