iterating on JTerm related tests